Ver original<?phpsession_start();if(!isset($_SESSION['misesion'])) header("Location:donde/quieras.php"); // el resto del código