From 1a47ee0641662848cb8da06009914b72ffc94fd8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Wed, 9 Dec 2015 08:37:51 +0100
Subject: [PATCH] No need for unset() as we are not in global context
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 libraries/ThemeManager.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/libraries/ThemeManager.php b/libraries/ThemeManager.php
index 8910b255f7..8a1ed451bb 100644
--- a/libraries/ThemeManager.php
+++ b/libraries/ThemeManager.php
@@ -483,7 +483,6 @@ class ThemeManager
                 $tmp = $_SESSION['PMA_Theme_Manager']->theme_default;
             }
             $_SESSION['PMA_Theme_Manager']->setActiveTheme($tmp);
-            unset($tmp);
         }
         /**
          * @todo move into ThemeManager::__wakeup()