From f8b7f1531ff2e0a43472fa07d24d4bb0e34953e2 Mon Sep 17 00:00:00 2001 From: Lionel Laffineur Date: Mon, 17 Jul 2023 22:18:57 +0200 Subject: [PATCH] DB & Schema: make it a table --- adminer/include/adminer.inc.php | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php index 3e0a6d2a..37c749a9 100644 --- a/adminer/include/adminer.inc.php +++ b/adminer/include/adminer.inc.php @@ -1022,21 +1022,26 @@ bodyLoad('

"; hidden_fields_get(); $db_events = script("mixin(qsl('select'), {onmousedown: dbMouseDown, onchange: dbChange});"); - echo "" . lang('DB') . ": " . ($databases - ? "$db_events" + echo "" . lang('DB') . ":" . ($databases + ? "$db_events" : "\n" ); echo "\n"; + echo ""; if (support("scheme")) { if ($missing != "db" && DB != "" && $connection->select_db(DB)) { - echo "
" . lang('Schema') . ": $db_events"; + echo ""; + echo lang('Schema') . ":$db_events"; if ($_GET["ns"] != "") { set_schema($_GET["ns"]); } + echo ""; } } + echo ""; foreach (array("import", "sql", "schema", "dump", "privileges") as $val) { if (isset($_GET[$val])) { echo "";