/** * eldonas la HTML kapon por la kutimaj paĝoj. * * Tiu mencias la HTML-dokumenttipon, kodigon (UTF-8), lingvon (eo), * stilfolion (depende de {@link MODUSO} kaj iun ĉiam uzatan * {@link cxiujpagxoj.js Ĵavoskripton}. * * Kutime ĉiu paĝo aspektu tiel: * <code> * HtmlKapo(); * // enhavo * HtmlFino(); * </code> * * @param string $klaso se donita, uzas class=$klaso kiel atributo * por la <body>-Elemento. * @see HtmlFino() */ function HtmlKapo($klaso = "") { ?> <!-- <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> --> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <meta http-equiv="content-language" content="eo" /> <?php debug_echo("<!-- DEBUG-moduso. -->"); metu_stilfolion_kaj_titolon(); ?> <base target="anzeige" /> <script type="text/javascript" src="iloj/cxiujpagxoj.js" charset="iso-8859-1"></script> </head> <body <?php if ($klaso != "") { echo "class='{$klaso}'"; } ?> > <a name="top"></a> <?php if (!EBLAS_SKRIBI) { eoecho("<p class='averto'>\n La programo nun estas en nurlega stato.\n C^iuj ŝajnaj s^ang^oj ne efikas.\n </p>"); } }
* Ni bezonas la kutimajn ilojn. */ require_once 'iloj/iloj.php'; session_start(); echo "<!--\n \$_SESSION['kodnomo']: '" . @$_SESSION["kodnomo"] . "'\n register_globals: '" . ini_get('register_globals') . "'\n-->"; malfermu_datumaro(); ?> <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN"> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta name="author" content="Martin B. Sawitzki, Paul Ebermann, etc."> <meta http-equiv="Content-Language" content="eo"> <meta http-equiv="Expires" content="0"> <?php metu_stilfolion_kaj_titolon(); ?> </head> <frameset cols="300,*"> <frame src="menuo.php" name="is-aligilo-menuo"> <?php /** * @global string $_SESSION["kodnomo"] * @name $kodnomo */ if (isset($_POST['lakodnomo'])) { $_SESSION["kodnomo"] = $_POST['lakodnomo']; /** * @global string $_SESSION["kodvorto"] * @name $kodvorto */