From 0aff6e06a6dd38d976a1fbf5d97a586978186838 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Sun, 6 Apr 2025 07:04:49 +0200 Subject: [PATCH] Highlight current table in menu when editing Check --- adminer/include/adminer.inc.php | 2 +- plugins/menu-links.php | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php index 3fa74ca3..04ae426a 100644 --- a/adminer/include/adminer.inc.php +++ b/adminer/include/adminer.inc.php @@ -1082,7 +1082,7 @@ class Adminer { ; echo (support("table") || support("indexes") ? '$name" : "$name" ) . "\n"; diff --git a/plugins/menu-links.php b/plugins/menu-links.php index e9b53580..f9cd37a0 100644 --- a/plugins/menu-links.php +++ b/plugins/menu-links.php @@ -42,9 +42,10 @@ class AdminerMenuLinks extends Adminer\Plugin { . " title='$titles[select]'>" . Adminer\lang('select') . " " ; } - $actives = array($_GET["table"], $_GET["create"], $_GET["indexes"], $_GET["foreign"], $_GET["trigger"]); + $actives = array($_GET["table"], $_GET["create"], $_GET["indexes"], $_GET["foreign"], $_GET["trigger"], $_GET["check"], $_GET["view"]); if ($menu) { $actives[] = $_GET["select"]; + $actives[] = $_GET["edit"]; } $link = ($menu == 'select' ? 'select' :