diff options
author | Andreas Gohr <andi@splitbrain.org> | 2015-01-08 12:06:46 +0100 |
---|---|---|
committer | Andreas Gohr <andi@splitbrain.org> | 2015-01-08 12:06:46 +0100 |
commit | 32e9be23a7c06ab5c4515e1f72809c67da2e9441 (patch) | |
tree | 4e4dffd7876368d21acc8cadd731bbc16bebf26f /lib | |
parent | f25cd1636fcec40f99f368d9dfb61c0812ed575c (diff) | |
parent | fc30ac3acbd4e17e25955ccdd0c5539ee2c9beca (diff) | |
download | dokuwiki-32e9be23a7c06ab5c4515e1f72809c67da2e9441.tar.gz dokuwiki-32e9be23a7c06ab5c4515e1f72809c67da2e9441.zip |
Merge pull request #982 from gamma/css.php
Allow arbitrary mediatype names for CSS
Diffstat (limited to 'lib')
-rw-r--r-- | lib/exe/css.php | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/lib/exe/css.php b/lib/exe/css.php index e0bc68312..3b8bc80bc 100644 --- a/lib/exe/css.php +++ b/lib/exe/css.php @@ -32,24 +32,25 @@ function css_out(){ global $config_cascade; global $INPUT; + // decide from where to get the template + $tpl = trim(preg_replace('/[^\w-]+/','',$INPUT->str('t'))); + if(!$tpl) $tpl = $conf['template']; + + // load styl.ini + $styleini = css_styleini($tpl); + + // find mediatypes if ($INPUT->str('s') == 'feed') { $mediatypes = array('feed'); $type = 'feed'; } else { - $mediatypes = array('screen', 'all', 'print'); + $mediatypes = array_unique(array_merge(array('screen', 'all', 'print'), array_keys($styleini['stylesheets']))); $type = ''; } - // decide from where to get the template - $tpl = trim(preg_replace('/[^\w-]+/','',$INPUT->str('t'))); - if(!$tpl) $tpl = $conf['template']; - // The generated script depends on some dynamic options $cache = new cache('styles'.$_SERVER['HTTP_HOST'].$_SERVER['SERVER_PORT'].DOKU_BASE.$tpl.$type,'.css'); - // load styl.ini - $styleini = css_styleini($tpl); - // if old 'default' userstyle setting exists, make it 'screen' userstyle for backwards compatibility if (isset($config_cascade['userstyle']['default'])) { $config_cascade['userstyle']['screen'] = array($config_cascade['userstyle']['default']); |