fixed bug #1469120 missing property in Theme_Manager class

ChangeLog

@@ -6,6 +6,8 @@ $Id$
 $Source$
 
 2006-04-12 Sebastian Mendel <cybot_tm@users.sourceforge.net>
+    * libraries\Theme_Manager.class.php:
+      fixed bug #1469120 missing property in Theme_Manager class
     * libraries\common.lib.php:
       fixed bug #1469109 PMA_backquote() issues
 

libraries/Theme_Manager.class.php

@@ -36,6 +36,11 @@ class PMA_Theme_Manager {
      */
     var $theme = null;
 
+    /**
+     * @var string
+     */
+    var $theme_default = 'original';
+
     function __construct()
     {
         $this->themes_path = trim($GLOBALS['cfg']['ThemePath']) ;