Highlight current table in menu when editing Check

diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php
index 3fa74ca313e55f0dcecb175c4e296a0d95342c0d..04ae426a975925293cbaa91dcd2030edb2eea718 100644 (file)
--- a/adminer/include/adminer.inc.php
+++ b/adminer/include/adminer.inc.php
@@ -1082,7 +1082,7 @@ class Adminer {
                                ;
                                echo (support("table") || support("indexes")
                                        ? '<a href="' . h(ME) . 'table=' . urlencode($table) . '"'
-                                               . bold(in_array($table, array($_GET["table"], $_GET["create"], $_GET["indexes"], $_GET["foreign"], $_GET["trigger"])), (is_view($status) ? "view" : "structure"))
+                                               . bold(in_array($table, array($_GET["table"], $_GET["create"], $_GET["indexes"], $_GET["foreign"], $_GET["trigger"], $_GET["check"], $_GET["view"])), (is_view($status) ? "view" : "structure"))
                                                . " title='" . lang('Show structure') . "'>$name</a>"
                                        : "<span>$name</span>"
                                ) . "\n";

diff --git a/plugins/menu-links.php b/plugins/menu-links.php
index e9b53580d90f021ddc026cfdf5a430172807d0b7..f9cd37a050817ec98af31cf5807aafa33875ddf1 100644 (file)
--- 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') . "</a> "
                                        ;
                                }
-                               $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' :