From cb41417a7b935fbc378104c2cdd1ef7d301fe027 Mon Sep 17 00:00:00 2001
From: xmujay <xmujay@gmail.com>
Date: Wed, 10 Jul 2013 22:21:15 +0800
Subject: [PATCH] remove the changes for server_privileges

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

diff --git a/libraries/server_privileges.lib.php b/libraries/server_privileges.lib.php
index f3340d8a9c..46a35c6970 100644
--- a/libraries/server_privileges.lib.php
+++ b/libraries/server_privileges.lib.php
@@ -1625,8 +1625,6 @@ function PMA_getHtmlForSpecificDbPrivileges($link_edit, $conditional_class)
         .'  `Db` ASC;';
     $res = $GLOBALS['dbi']->query($sql_query);
     $row = $GLOBALS['dbi']->fetchAssoc($res);
-    
-    $found = false;
     if ($row) {
         $found = true;
     }