" />
' . (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); } $databases = &$_SESSION["databases"][$_GET["server"]]; if (strlen($_GET["db"]) && $databases && !in_array($_GET["db"], $databases, true)) { $databases = null; } if (isset($databases) && !isset($_GET["sql"]) && !isset($_SESSION["coverage"])) { session_write_close(); } if ($error) { echo "

$error

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