From 93c4ce3294fe89cd1f2966b9846ec6c01ca7069c Mon Sep 17 00:00:00 2001
From: Sebastian Mendel <cybot_tm@users.sourceforge.net>
Date: Thu, 1 Dec 2005 11:04:29 +0000
Subject: [PATCH] call __wakeup for Theme_Manager

---
 libraries/common.lib.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libraries/common.lib.php b/libraries/common.lib.php
index 3ce453c99..df979944c 100644
--- a/libraries/common.lib.php
+++ b/libraries/common.lib.php
@@ -2585,6 +2585,8 @@ if ( ! isset( $_SESSION['PMA_Theme_Manager'] ) ) {
 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;