Stay on privileges page when changing database

diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php
index 3b2837005a09e2c2e626de608a5f6c0ada0a9457..e9bf0c1433f756500511948c1af0a7a9ec334e14 100644 (file)
--- a/adminer/include/adminer.inc.php
+++ b/adminer/include/adminer.inc.php
@@ -826,7 +826,8 @@ username.form['auth[driver]'].onchange();
                echo (isset($_GET["sql"]) ? '<input type="hidden" name="sql" value="">'
                        : (isset($_GET["schema"]) ? '<input type="hidden" name="schema" value="">'
                        : (isset($_GET["dump"]) ? '<input type="hidden" name="dump" value="">'
-               : "")));
+                       : (isset($_GET["privileges"]) ? '<input type="hidden" name="privileges" value="">'
+               : ""))));
                echo "</p></form>\n";
        }