Dioos, siento decirte que eso es primitivo. En las versiones 5 y 6 de php session_is_registered ya no se utiliza. Ahora se utiliza simplemente el isset($_SESSION['nombre_de_sesion']) . De todas formas, no comprendo porque a veces redireccionas con php, y otra con js. ¡No tiene sentido!
P.D. Tampoco estaría mal que en las aperturas del php usaras <?php.
Saludos
