From a5839bf23649f8c927d02d9d09b977e7fbbc70c3 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Sat, 8 Jun 2013 08:38:12 -0400
Subject: [PATCH] Start to fix bug #3921

---
 libraries/Menu.class.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/Menu.class.php b/libraries/Menu.class.php
index 9b5fdf3792..e6674b929b 100644
--- a/libraries/Menu.class.php
+++ b/libraries/Menu.class.php
@@ -427,7 +427,7 @@ class PMA_Menu
      */
     private function _getServerTabs()
     {
-        $is_superuser = PMA_isSuperuser();
+        $is_superuser = function_exists('PMA_isSuperuser') && PMA_isSuperuser();
         $binary_logs = null;
         if (!defined('PMA_DRIZZLE') || (defined('PMA_DRIZZLE') && ! PMA_DRIZZLE)) {
             $binary_logs = PMA_DBI_fetch_result(