' . (isset($_GET["server"]) ? htmlspecialchars($_GET["server"]) : lang('Server')) . ' » '; if (is_array($breadcrumb)) { if (strlen($_GET["db"])) { echo '' . htmlspecialchars($_GET["db"]) . ' » '; } foreach ($breadcrumb as $key => $val) { if (strlen($val)) { echo '' . htmlspecialchars($val) . ' » '; } } } echo "$title

\n"; } echo "

$title" . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . "

\n"; if ($_SESSION["messages"]) { echo "

" . implode("

\n

", $_SESSION["messages"]) . "

\n"; $_SESSION["messages"] = array(); } if (!$_SESSION["tokens"][$_GET["server"]]["?logout"]) { $_SESSION["tokens"][$_GET["server"]]["?logout"] = rand(1, 1e6); } if (isset($_SESSION["databases"][$_GET["server"]]) && !isset($_GET["sql"])) { session_write_close(); } if ($error) { echo "

$error

\n"; } } function page_footer($missing = false) { global $SELF, $mysql; ?>