diff options
author | Andrew Dolgov <[email protected]> | 2014-12-09 15:16:53 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2014-12-09 15:16:53 +0300 |
commit | f6cbe9a5a03056be4e8f20747ef5f933e2a55f12 (patch) | |
tree | 15d08ffc7ec733d6a310066714cff2244af7aecf /classes/pref/prefs.php | |
parent | 9b46c8e5e74ce512e92df156ba9caa5156d637fb (diff) |
require version information in all additional themes
Diffstat (limited to 'classes/pref/prefs.php')
-rw-r--r-- | classes/pref/prefs.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php index 571237239..da11f55e1 100644 --- a/classes/pref/prefs.php +++ b/classes/pref/prefs.php @@ -571,7 +571,8 @@ class Pref_Prefs extends Handler_Protected { } else if ($pref_name == "USER_CSS_THEME") { - $themes = array_map("basename", glob("themes/*.css")); + $themes = array_filter(array_map("basename", glob("themes/*.css")), + "theme_valid"); print_select($pref_name, $value, $themes, 'dojoType="dijit.form.Select"'); |