' . (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["message"]) {
echo "
$_SESSION[message]
\n";
$_SESSION["message"] = "";
}
if (isset($_SESSION["databases"][$_GET["server"]]) && !isset($_GET["sql"])) {
session_write_close();
}
}
function page_footer($missing = false) {
global $SELF, $mysql;
?>