search themes on every script start

ChangeLog

@@ -10,6 +10,7 @@ $Source$
       updated themes;
       fixed bug #1452131 Fonts too large;
       fixed bug #1446211 Colors hardcoded in theme css files;
+    * libraries/Theme_Manager.class.php: search themes on every script start
 
 2006-04-25 Michal Čihař  <michal@cihar.com>
     * libraries/common.lib.php: Make cookie login form work with token

libraries/Theme_Manager.class.php

@@ -129,6 +129,11 @@ class PMA_Theme_Manager {
         if ($this->_themes_path != trim($GLOBALS['cfg']['ThemePath'])
          || $this->theme_default != $GLOBALS['cfg']['ThemeDefault']) {
             $this->init();
+        } else {
+            // at least the theme path needs to be checked every time for new
+            // themes, as there is no other way at the moment to keep track of
+            // new or removed themes
+            $this->loadThemes();
         }
     }