diff options
Diffstat (limited to 'classes/pref/prefs.php')
| -rw-r--r-- | classes/pref/prefs.php | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php index 096260bfb..bc7d9212f 100644 --- a/classes/pref/prefs.php +++ b/classes/pref/prefs.php @@ -570,8 +570,10 @@ class Pref_Prefs extends Handler_Protected { } else if ($pref_name == "USER_CSS_THEME") { - $themes = array_filter(array_map("basename", glob("themes/*.css")), - "theme_valid"); + $themes = array_merge(glob("themes/*.css"), glob("themes.local/*.css")); + $themes = array_map("basename", $themes); + $themes = array_filter($themes, "theme_valid"); + asort($themes); print_select($pref_name, $value, $themes, 'dojoType="dijit.form.Select"'); |