From 32ff363ee393697fba6ea81992692ca8f054ebc5 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Fri, 19 Jul 2013 12:51:34 -0700
Subject: [PATCH] Stay on privileges page when changing database

---
 adminer/include/adminer.inc.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php
index 3b283700..e9bf0c14 100644
--- 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";
 	}