$title_all
\n"; if ($_SESSION["messages"]) { echo " \n \n"; $_SESSION["messages"] = array(); } if (!$_POST && !isset($_SESSION["passwords"])) { // used in auth $_SESSION["passwords"] = array(); } $databases = &$_SESSION["databases"][$_GET["server"]]; if (strlen(DB) && $databases && !in_array(DB, $databases, true)) { $databases = null; } if (isset($databases) && !isset($_GET["sql"])) { // improves concurrency if a user opens several pages at once session_write_close(); } if ($error) { echo "$error
\n";
}
}
function page_footer($missing = false) {
global $adminer;
?>