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 '

\n"; echo '

' . lang('Privileges') . "

\n"; echo '

' . lang('Process list') . "

\n"; echo "

" . lang('MySQL version') . ": $mysql->server_info " . lang('through PHP extension') . " " . (extension_loaded("mysqli") ? "MySQLi" : (extension_loaded("mysql") ? "MySQL" : "PDO")) . "

\n"; } page_footer("db"); exit; } $mysql->query("SET CHARACTER SET utf8");