select_db($_GET["db"]) : isset($_GET["sql"]) || isset($_GET["dump"]) || isset($_GET["database"]) || isset($_GET["processlist"]) || isset($_GET["privileges"]) || isset($_GET["user"]))) { if (strlen($_GET["db"])) { unset($_SESSION["databases"][$_GET["server"]]); } if (strlen($_GET["db"])) { page_header(lang('Database') . ": " . htmlspecialchars($_GET["db"]), false); echo "
" . lang('Invalid database.') . "
\n"; } else { page_header(lang('Select database'), null); echo '' . lang('Create new database') . "
\n"; echo '\n"; echo '\n"; echo "" . lang('MySQL version: %s through PHP extension %s', "$mysql->server_info", "" . (extension_loaded("mysqli") ? "MySQLi" : (extension_loaded("mysql") ? "MySQL" : "PDO")) . "") . "
\n"; } page_footer("db"); exit; } $mysql->query("SET CHARACTER SET utf8");