diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php index e14b7eda..9bed3601 100644 --- a/adminer/include/adminer.inc.php +++ b/adminer/include/adminer.inc.php @@ -483,7 +483,7 @@ document.getElementById('username').focus(); * @return null */ function navigation($missing) { - global $VERSION, $connection, $token, $driver; + global $VERSION, $connection, $token, $driver, $drivers; ?>
\n";
+ $first = false;
+ }
+ echo "($drivers[$key]) " . h($username . ($server != "" ? "@$server" : "")) . "
\n";
+ }
+ }
+ }
+ }
+ } else {
$databases = get_databases();
?>