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' :