From 2511a0372912866b83ad6305487a4c740b385e80 Mon Sep 17 00:00:00 2001
From: Sebastian Mendel <cybot_tm@users.sourceforge.net>
Date: Wed, 12 Apr 2006 11:00:59 +0000
Subject: [PATCH] fixed bug #1469174 configuration changes not accepted in
 theme manager

---
 libraries/common.lib.php | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/libraries/common.lib.php b/libraries/common.lib.php
index a6d94bafd..c00946196 100644
--- a/libraries/common.lib.php
+++ b/libraries/common.lib.php
@@ -2938,21 +2938,18 @@ unset($default_server);
 /******************************************************************************/
 /* setup themes                                          LABEL_theme_setup    */
 
-if (!isset($_SESSION['PMA_Theme_Manager'])) {
+if (! isset($_SESSION['PMA_Theme_Manager'])) {
     $_SESSION['PMA_Theme_Manager'] = new PMA_Theme_Manager;
+} else {
+    $_SESSION['PMA_Theme_Manager']->checkConfig();
 }
 
 if (isset($_REQUEST['set_theme'])) {
     // if user submit a theme
     $_SESSION['PMA_Theme_Manager']->setActiveTheme($_REQUEST['set_theme']);
-} elseif (version_compare(phpversion(), '5', 'lt')) {
-    $_SESSION['PMA_Theme_Manager']->__wakeup();
 }
 
 $_SESSION['PMA_Theme'] = $_SESSION['PMA_Theme_Manager']->theme;
-if (version_compare(phpversion(), '5', 'lt')) {
-    $_SESSION['PMA_Theme']->__wakeup();
-}
 
 // BC
 $GLOBALS['theme']           = $_SESSION['PMA_Theme']->getName();