diff options
author | Andrew Dolgov <[email protected]> | 2017-01-26 22:41:18 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2017-01-26 22:41:18 +0300 |
commit | 181c8285dddbcad937ff67c648478c0c13a85ad5 (patch) | |
tree | 301058ae97d491f1be8575034cafabbb9ef72d07 /include | |
parent | 22387de225d403eea25377c7dfc43971407c0f76 (diff) |
add compact theme with smaller font
Diffstat (limited to 'include')
-rw-r--r-- | include/functions2.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/include/functions2.php b/include/functions2.php index d06a7a710..b8eff56d2 100644 --- a/include/functions2.php +++ b/include/functions2.php @@ -2428,7 +2428,10 @@ } function theme_valid($theme) { - if ($theme == "default.php" || $theme == "night.css") return true; // needed for array_filter + $bundled_themes = [ "default.php", "night.css", "compact.css" ]; + + if (in_array($theme, $bundled_themes)) return true; + $file = "themes/" . basename($theme); if (!file_exists($file)) $file = "themes.local/" . basename($theme); |