call __wakeup for Theme_Manager

2005-12-01 11:04:29 +00:00
parent 3d5994dd7d
commit 93c4ce3294
1 changed files with 2 additions and 0 deletions
--- 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;