"Wetten",
"scoreboard.php" => "Punktzahlen",
"table.php" => "Tabellen",
"stats.php" => "Statistiken",
"help.php" => "Regeln",
"usermenu.php" => "Verwaltung",
);
if (EnableSurvey)
$Menu["survey.php"] = "Regelumfrage";
$Menu ["archive/"] = "Archiv";
$Menu ["do_logout.php"] = "Logout";
function redirect($to) {
if (headers_sent())
echo "Continue ...
\n";
else
header("Location: $to");
}
function InitSession($fatal=TRUE) {
global $uid, $InSession;
if (Maintenance) {
redirect("index.php");
die;
}
session_start();
$uid = isset($_SESSION['uid']) ? intval($_SESSION['uid']) : 0;
if (!$uid && $fatal) {
redirect("index.php?reason=expired");
die;
}
$InSession = ($uid != 0);
}
function htmlescape($str) {
return htmlspecialchars($str, ENT_QUOTES, "UTF-8");
}
/******************************* HTML FUNCTIONS *******************************/
function IsDynamic() {
// header("Expires: Mon, 26 Jul 1997 05:00:00 GMT");
// header("Last-Modified: ".gmdate("D, d M Y H:i:s")." GMT");
header("Cache-Control: no-store, no-cache, must-revalidate");
header("Cache-Control: post-check=0, pre-check=0", false);
header("Pragma: no-cache");
}
function StartPage($title, $script=NULL, $callinit=FALSE) {
global $InSession, $InPage, $Menu, $ME, $ThemeDir, $WMBaseDir;
if ($InPage) return;
$ThisPage = basename($ME);
if (basename(dirname($ME)) == "archive") $ThisPage = "archive/";
if ($ThisPage == "index.php")
$admlink = " onDblClick=\"location.href='adm.php';\"";
$ThemeDir = isset($_GET['theme']) ? $_GET['theme'] : DefaultTheme;
if ((substr($ThemeDir, 0, 4) != "http") && (substr($ThemeDir, 0, 1) != '/'))
$ThemeDir = "themes/$ThemeDir";
$ThemeDir = $WMBaseDir . $ThemeDir;
@header("Content-Type: text/html; charset=utf-8");
if (!$script) {
$script = "";
} else if (substr($script, -3) == ".js") {
$script = "\n";
} else {
$script = "\n";
}
if ($callinit) {
$callinit = " onload=\"init()\"";
} else {
$callinit = "";
}
echo <<
Wettmeister: $title
$script
EOF;
if ($InSession) {
echo "\n";
}
echo "\n";
$InPage = TRUE;
}
function EndPage() {
global $InPage, $Webmaster;
if (!$InPage) return;
$v = Version;
if (Debug)
$v .= " (Debug build)";
echo <<