From 232a03a4bd394aa732d7eeb311dc94c25d4d800f Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Fri, 27 Jun 2014 08:23:12 -0400
Subject: [PATCH] Remove dead code

Signed-off-by: Marc Delisle <marc@infomarc.info>
---
 libraries/Menu.class.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/libraries/Menu.class.php b/libraries/Menu.class.php
index 35d849926a..5e1cf4a9b6 100644
--- a/libraries/Menu.class.php
+++ b/libraries/Menu.class.php
@@ -95,7 +95,6 @@ class PMA_Menu
      */
     private function _getMenu()
     {
-        $tabs = array();
         $url_params = array('db' => $this->_db);
         $level = '';