Ver originalif (session_is_registered("usuario")==false)
Ver originalif(isset($_SESSION['usuario'])){//codigo}