nettika/phpmyadmin
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fixed bug #1469174 configuration changes not accepted in theme manager

Browse Source
This commit is contained in:
Sebastian Mendel
2006-04-12 11:00:59 +00:00
parent bdd49fd501
commit 2511a03729
1 changed files with 3 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
libraries/common.lib.php
View File

@@ -2938,21 +2938,18 @@ unset($default_server);
/******************************************************************************/ /******************************************************************************/
/* setup themes LABEL_theme_setup */ /* 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; $_SESSION['PMA_Theme_Manager'] = new PMA_Theme_Manager;
} else {
$_SESSION['PMA_Theme_Manager']->checkConfig();
} }
if (isset($_REQUEST['set_theme'])) { if (isset($_REQUEST['set_theme'])) {
// if user submit a theme // if user submit a theme
$_SESSION['PMA_Theme_Manager']->setActiveTheme($_REQUEST['set_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; $_SESSION['PMA_Theme'] = $_SESSION['PMA_Theme_Manager']->theme;
if (version_compare(phpversion(), '5', 'lt')) {
$_SESSION['PMA_Theme']->__wakeup();
}
// BC // BC
$GLOBALS['theme'] = $_SESSION['PMA_Theme']->getName(); $GLOBALS['theme'] = $_SESSION['PMA_Theme']->getName();