No need for unset() as we are not in global context

Signed-off-by: Michal Čihař <michal@cihar.com>
2015-12-09 08:37:51 +01:00 · 2015-12-09 08:37:51 +01:00 · 1a47ee0641
commit 1a47ee0641
parent 7de390f26a
1 changed files with 0 additions and 1 deletions
--- 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()