} 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"');