bug #1207395, undefined theme_generation, theme_version
This commit is contained in:
@@ -5,6 +5,10 @@ phpMyAdmin - Changelog
|
||||
$Id$
|
||||
$Source$
|
||||
|
||||
2005-05-24 Marc Delisle <lem9@users.sourceforge.net>
|
||||
* libraries/common.lib.php: bug #1207395, undefined theme_generation
|
||||
and theme_version, thanks to Ryan Schmidt
|
||||
|
||||
2005-05-22 Marc Delisle <lem9@users.sourceforge.net>
|
||||
* libraries/charset_conversion.lib.php: diacritics wrongly converted
|
||||
in Browse mode under MySQL 4.1.x if AllowAnywhereRecoding set to TRUE
|
||||
|
@@ -361,14 +361,13 @@ unset($theme_name, $theme_generation, $theme_version);
|
||||
@include($cfg['ThemePath'] . '/' . $GLOBALS['theme'] . '/info.inc.php');
|
||||
|
||||
// did it set correctly?
|
||||
if (!isset($theme_name, $theme_generation, $theme_version))
|
||||
if (!isset($theme_name, $theme_generation, $theme_version)) {
|
||||
$GLOBALS['theme'] = 'original'; // invalid theme
|
||||
|
||||
if ($theme_generation != PMA_THEME_GENERATION)
|
||||
} elseif ($theme_generation != PMA_THEME_GENERATION) {
|
||||
$GLOBALS['theme'] = 'original'; // different generation
|
||||
|
||||
if ($theme_version < PMA_THEME_VERSION)
|
||||
} elseif ($theme_version < PMA_THEME_VERSION) {
|
||||
$GLOBALS['theme'] = 'original'; // too old version
|
||||
}
|
||||
|
||||
$pmaThemeImage = $cfg['ThemePath'] . '/' . $GLOBALS['theme'] . '/img/';
|
||||
$tmp_layout_file = $cfg['ThemePath'] . '/' . $GLOBALS['theme'] . '/layout.inc.php';
|
||||
|
Reference in New Issue
Block a user