Ver originalif(!isset("controlador")) { header("location: index.php"); }
Ver originalif(!isset($_SESSION["controlador"])) { header("location: index.php"); }