Siempre que preguntes algo .. si hay un mensaje de error que ves .. debes mencionarlo . .no somos adivinos aunque a veces podramos imaginar cosas ..
Por ejemplo .. si usas:
Código PHP:
echo("
(y aqui he metido todo el codigo de la pagina. He cambiado las comas de por ejemplo: <script language="JavaScript" src="mm_menu.js" type="text/javascript"></script> a <script language='JavaScript' src='mm_menu.js' type='text/javascript'></script>))
");
ahí obtendras algún error de "parser" .. No se puede mezclar comillas dobles en la apertura de tu "echo" y usar así comillas dobles dendro del echo .. deberías "escapar" las comillas:
Código PHP:
echo "Hola esto está entre \"comillas\" y más blablabl";
Según tu código .. NO es necesario que hagas el "else" para ese if() ni que tengas que meter todo ese HTML/javascript en un echo .. puedes hacer:
Código PHP:
<?
session_start();
if ($_SESSION["autentificado"] !="SI") {
header("Location: formulario.php");
exit();
}
?>
<html>
<head>
<script language="JavaScript" type="text/javascript">
<!--
function mmLoadMenus() {
if (window.mm_menu_1006131550_0) return;
window.mm_menu_1006131550_0 = new Menu("root",156,17,"Arial, Helvetica, sans-serif",11,"#FFFFFF","#003399","#003399","#FFFFFF","left","middle",3,0,1000,-5,7,true,true,true,0,true,true);
mm_menu_1006131550_0.addMenuItem("País Vasco","location='M1F.php'");
.....aqui sigue todo el menu......................y termina asi:
mm_menu_1111085107_0.writeMenus();
} // mmLoadMenus()
//-->
</script><script language="JavaScript" src="mm_menu.js" type="text/javascript"></script>
</head>
<body>
<script language="JavaScript1.2" type="text/javascript">mmLoadMenus();</script>
</body>
</html>
así de simple .. el "exit()" que usas en PHP ya detentrá la ejecución de tu script y el header() de "Location" ya redireccionará hacia otra página si no pasa tu autentificación (tu if())....
Un saludo,