/**
* 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
*/
