diff options
author | Andrew Dolgov <[email protected]> | 2017-01-25 12:17:41 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2017-01-25 12:17:41 +0300 |
commit | e432b8fbe2a134e14b7e79960b17273c39795789 (patch) | |
tree | 310673ebcae3b79613df3beffbbc4669327fa221 /classes/pref/prefs.php | |
parent | 7c04f8afebd9eec1114773a06ebffd9a827a3d98 (diff) |
implement cache-busting for default theme.css
night theme: small fixes
Diffstat (limited to 'classes/pref/prefs.php')
-rw-r--r-- | classes/pref/prefs.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php index 1988649a5..bf4d6e42e 100644 --- a/classes/pref/prefs.php +++ b/classes/pref/prefs.php @@ -565,7 +565,7 @@ class Pref_Prefs extends Handler_Protected { } else if ($pref_name == "USER_CSS_THEME") { - $themes = array_merge(glob("themes/*.css"), glob("themes.local/*.css")); + $themes = array_merge(glob("themes/*.php"), glob("themes/*.css"), glob("themes.local/*.css")); $themes = array_map("basename", $themes); $themes = array_filter($themes, "theme_valid"); asort($themes); |