help select_theme living in a developer tree

This commit is contained in:
Marc Delisle
2004-06-13 21:47:49 +00:00
parent d9a21610d1
commit 6045031c16

View File

@@ -61,7 +61,7 @@ if ($PMA_ThemeAvailable == TRUE) { // themeManager is available
}
if ($handleThemes = opendir($cfg['ThemePath'])) { // check for themes directory
while (false !== ($PMA_Theme = readdir($handleThemes))) { // get themes
if ($PMA_Theme != "." && $PMA_Theme != ".." && $PMA_Theme!='original' && $PMA_Theme!=$cfg['ThemeDefault']) { // file check
if ($PMA_Theme != "." && $PMA_Theme != ".." && $PMA_Theme!='original' && $PMA_Theme!=$cfg['ThemeDefault'] && $PMA_Theme != 'CVS') { // file check
if (@is_dir($cfg['ThemePath'].'/'.$PMA_Theme)) { // check the theme
$themesCount++;
$available_themes_choices[]=$PMA_Theme;
@@ -100,4 +100,4 @@ if (isset($set_theme)) { // if user submit a theme
}
}
} // end if
?>
?>