$title" . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . "
\n"; if ($_SESSION["message"]) { echo " \n"; $_SESSION["message"] = ""; } if (isset($_SESSION["databases"][$_GET["server"]]) && !isset($_GET["sql"])) { session_write_close(); } if ($error) { echo "" . htmlspecialchars($error) . "
\n"; } } function page_footer($missing = false) { global $SELF, $mysql; ?>