From e2980778e70f3c55d401e23f340e5ae007d2d00e Mon Sep 17 00:00:00 2001 From: Sebastian Mendel Date: Wed, 12 Apr 2006 09:11:02 +0000 Subject: [PATCH] fixed bug #1469120 missing property in Theme_Manager class --- ChangeLog | 2 ++ libraries/Theme_Manager.class.php | 5 +++++ 2 files changed, 7 insertions(+) diff --git a/ChangeLog b/ChangeLog index c4ce56c70..966319d16 100755 --- a/ChangeLog +++ b/ChangeLog @@ -6,6 +6,8 @@ $Id$ $Source$ 2006-04-12 Sebastian Mendel + * libraries\Theme_Manager.class.php: + fixed bug #1469120 missing property in Theme_Manager class * libraries\common.lib.php: fixed bug #1469109 PMA_backquote() issues diff --git a/libraries/Theme_Manager.class.php b/libraries/Theme_Manager.class.php index f5b8515ed..84440749b 100644 --- a/libraries/Theme_Manager.class.php +++ b/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']) ;