Hola,
NO puedes poner los dos metodos de lectura de la variable a la vez. Tal como lo tienes puesto, SOLO lee la variable cuando viene de un POST. Sino, vale NULL. Prueba con este codigo:
Código PHP:
$pagina = (isset($HTTP_GET_VARS["pagina"]))?$HTTP_GET_VARS["pagina"]:$HTTP_POST_VARS["pagina"];
Es el operador ternario (un IF-THEN-ELSE). Si recibe el parametro por GET, lee ese valor. SIno, lo lee del POST. En este caso, si existe la variable tanto en GET como en POST, solo lee la del GET.
Y para el metodo de propagar haz caso del autor y lee la documentacion.
Suerte.