From f0335f7f8b9d0238ced432c367ed2ffa6be47f23 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Tue, 4 Mar 2025 19:58:26 +0100 Subject: [PATCH] Hide Refresh link if it does nothing --- adminer/include/connect.inc.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/adminer/include/connect.inc.php b/adminer/include/connect.inc.php index 262285d2..15bd79fc 100644 --- a/adminer/include/connect.inc.php +++ b/adminer/include/connect.inc.php @@ -43,7 +43,7 @@ if (!(DB != "" ? $connection->select_db(DB) : isset($_GET["sql"]) || isset($_GET echo script("mixin(qsl('table'), {onclick: tableClick, ondblclick: partialArg(tableClick, true)});"); echo "" . (support("database") ? "" : "") - . "" . lang('Database') . " - " . lang('Refresh') . "" + . "" . lang('Database') . (get_session("dbs") !== null ? " - " . lang('Refresh') . "" : "") . "" . lang('Collation') . "" . lang('Tables') . "" . lang('Size') . " - " . lang('Compute') . "" . script("qsl('a').onclick = partial(ajaxSetHtml, '" . js_escape(ME) . "script=connect');", "") -- 2.39.5