<?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . (strlen($_GET["server"]) && $_GET["server"] != "localhost" ? htmlspecialchars("- $_GET[server]") : "") . "

' . (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) { $desc = (is_array($val) ? $val[1] : $val); if (strlen($desc)) { echo '' . htmlspecialchars($desc) . ' » '; } } } echo "$title

\n"; } echo "

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

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

" . implode("

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

\n"; $_SESSION["messages"] = array(); } $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"])) { // improves concurrency if a user opens several pages at once session_write_close(); } if ($error) { echo "

$error

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