diff options
author | Andreas Gohr <gohr@cosmocode.de> | 2018-12-12 09:48:53 +0100 |
---|---|---|
committer | Andreas Gohr <gohr@cosmocode.de> | 2018-12-12 09:48:53 +0100 |
commit | 607645968f81d0a6eb39018e003e347ad3969d3e (patch) | |
tree | 0d0fb3db63d77f550ce97b68eee84ff1b6c58883 /lib | |
parent | 48ad551adb00eb6e408005f94641c43e91daa0a4 (diff) | |
download | dokuwiki-607645968f81d0a6eb39018e003e347ad3969d3e.tar.gz dokuwiki-607645968f81d0a6eb39018e003e347ad3969d3e.zip |
removed unnecessary count
Diffstat (limited to 'lib')
-rw-r--r-- | lib/exe/css.php | 2 | ||||
-rw-r--r-- | lib/exe/js.php | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/exe/css.php b/lib/exe/css.php index 52a29dbc2..943f3f4c2 100644 --- a/lib/exe/css.php +++ b/lib/exe/css.php @@ -76,7 +76,7 @@ function css_out(){ $files = array_merge($files, $styleini['stylesheets'][$mediatype]); } // load user styles - if(is_array($config_cascade['userstyle'][$mediatype]) && count($config_cascade['userstyle'][$mediatype])>0) { + if(is_array($config_cascade['userstyle'][$mediatype])) { foreach($config_cascade['userstyle'][$mediatype] as $userstyle) { $files[$userstyle] = DOKU_BASE; } diff --git a/lib/exe/js.php b/lib/exe/js.php index 52af4feb0..81afaf053 100644 --- a/lib/exe/js.php +++ b/lib/exe/js.php @@ -66,7 +66,7 @@ function js_out(){ // add possible plugin scripts and userscript $files = array_merge($files,js_pluginscripts()); - if(is_array($config_cascade['userscript']['default']) && count($config_cascade['userscript']['default'])>0) { + if(is_array($config_cascade['userscript']['default'])) { foreach($config_cascade['userscript']['default'] as $userscript) { $files[] = $userscript; } |