summaryrefslogtreecommitdiff
path: root/classes/pref/prefs.php
diff options
context:
space:
mode:
authorArt4 <[email protected]>2015-02-19 23:17:43 +0100
committerArt4 <[email protected]>2015-02-19 23:17:43 +0100
commitd9c042c4c536f1afbf206aeea09b0b127b7b6418 (patch)
tree9d7ef18c6d9d4c8f8f4d1c9a5dbfceeb9fd5acf4 /classes/pref/prefs.php
parentcf42b79120290ee5866136a0c4656e6999f06045 (diff)
parent4ca621a36016de1fbb5447e1c1de0b607ba94a7c (diff)
Merge branch 'master' into patch-1
Conflicts: locale/de_DE/LC_MESSAGES/messages.po
Diffstat (limited to 'classes/pref/prefs.php')
-rw-r--r--classes/pref/prefs.php3
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"');