From df6ea4f4998f4cfd6209c8ecd505cce42ab119a5 Mon Sep 17 00:00:00 2001
From: Thilina Buddika <thilinaabeyrathna@gmail.com>
Date: Wed, 11 Jul 2012 19:11:30 +0530
Subject: [PATCH] remove unwanted unset()

---
 libraries/server_privileges.lib.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/libraries/server_privileges.lib.php b/libraries/server_privileges.lib.php
index cd20d27e95..624e4870d0 100644
--- a/libraries/server_privileges.lib.php
+++ b/libraries/server_privileges.lib.php
@@ -1741,7 +1741,6 @@ function PMA_getUserSpecificRights($tables, $user_host_condition)
 
     if (PMA_isValid($_REQUEST['pred_dbname'])) {
         $dbname = $_REQUEST['pred_dbname'];
-        unset($pred_dbname);
     } elseif (PMA_isValid($_REQUEST['dbname'])) {
         $dbname = $_REQUEST['dbname'];
     }