diff options
author | Andrew Dolgov <[email protected]> | 2017-01-26 22:37:22 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2017-01-26 22:37:22 +0300 |
commit | 22387de225d403eea25377c7dfc43971407c0f76 (patch) | |
tree | 651b4e7a2396e70d4562135ac23f74b11452537e | |
parent | 7d9aac9afa4fbee2ebb52d77b1b800aa916a593f (diff) |
preferences: set themes dropdown to default if selected theme is missing
-rw-r--r-- | classes/pref/prefs.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php index bf4d6e42e..18ffcc720 100644 --- a/classes/pref/prefs.php +++ b/classes/pref/prefs.php @@ -570,6 +570,8 @@ class Pref_Prefs extends Handler_Protected { $themes = array_filter($themes, "theme_valid"); asort($themes); + if (!theme_valid($value)) $value = "default.php"; + print_select($pref_name, $value, $themes, 'dojoType="dijit.form.Select"'); |