xref: /dokuwiki/lib/exe/css.php (revision 7b4ea0818922673113eb39a2062d802b38492186)
178a6aeb1SAndreas Gohr<?php
278a6aeb1SAndreas Gohr/**
378a6aeb1SAndreas Gohr * DokuWiki StyleSheet creator
478a6aeb1SAndreas Gohr *
578a6aeb1SAndreas Gohr * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
678a6aeb1SAndreas Gohr * @author     Andreas Gohr <andi@splitbrain.org>
778a6aeb1SAndreas Gohr */
878a6aeb1SAndreas Gohr
9d0a27cb0SAndreas Gohrif(!defined('DOKU_INC')) define('DOKU_INC',dirname(__FILE__).'/../../');
101c2d1019SAndreas Gohrif(!defined('NOSESSION')) define('NOSESSION',true); // we do not use a session or authentication here (better caching)
1198bda4fdSAndreas Gohrif(!defined('DOKU_DISABLE_GZIP_OUTPUT')) define('DOKU_DISABLE_GZIP_OUTPUT',1); // we gzip ourself here
1278a6aeb1SAndreas Gohrrequire_once(DOKU_INC.'inc/init.php');
1378a6aeb1SAndreas Gohr
1478a6aeb1SAndreas Gohr// Main (don't run when UNIT test)
1578a6aeb1SAndreas Gohrif(!defined('SIMPLE_TEST')){
1678a6aeb1SAndreas Gohr    header('Content-Type: text/css; charset=utf-8');
1778a6aeb1SAndreas Gohr    css_out();
1878a6aeb1SAndreas Gohr}
1978a6aeb1SAndreas Gohr
2078a6aeb1SAndreas Gohr
2178a6aeb1SAndreas Gohr// ---------------------- functions ------------------------------
2278a6aeb1SAndreas Gohr
2378a6aeb1SAndreas Gohr/**
2478a6aeb1SAndreas Gohr * Output all needed Styles
2578a6aeb1SAndreas Gohr *
2678a6aeb1SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
2778a6aeb1SAndreas Gohr */
2878a6aeb1SAndreas Gohrfunction css_out(){
2978a6aeb1SAndreas Gohr    global $conf;
3078a6aeb1SAndreas Gohr    global $lang;
3109edb711SAndreas Gohr    global $config_cascade;
3209edb711SAndreas Gohr
33318cd03eSAnika Henke    $mediatype = 'screen';
34c66972f2SAdrian Lang    if (isset($_REQUEST['s']) &&
35c66972f2SAdrian Lang        in_array($_REQUEST['s'], array('all', 'print', 'feed'))) {
36318cd03eSAnika Henke        $mediatype = $_REQUEST['s'];
37615960feSTom N Harris    }
3878a6aeb1SAndreas Gohr
39f7589b08SChris Smith    $tpl = trim(preg_replace('/[^\w-]+/','',$_REQUEST['t']));
40124af657SAndreas Gohr    if($tpl){
41124af657SAndreas Gohr        $tplinc = DOKU_INC.'lib/tpl/'.$tpl.'/';
42124af657SAndreas Gohr        $tpldir = DOKU_BASE.'lib/tpl/'.$tpl.'/';
43124af657SAndreas Gohr    }else{
44124af657SAndreas Gohr        $tplinc = DOKU_TPLINC;
45124af657SAndreas Gohr        $tpldir = DOKU_TPL;
46124af657SAndreas Gohr    }
47124af657SAndreas Gohr
4878a6aeb1SAndreas Gohr    // The generated script depends on some dynamic options
49318cd03eSAnika Henke    $cache = getCacheName('styles'.$_SERVER['HTTP_HOST'].$_SERVER['SERVER_PORT'].DOKU_BASE.$tplinc.$mediatype,'.css');
5078a6aeb1SAndreas Gohr
51519b3173SAndreas Gohr    // load template styles
52519b3173SAndreas Gohr    $tplstyles = array();
53124af657SAndreas Gohr    if(@file_exists($tplinc.'style.ini')){
54124af657SAndreas Gohr        $ini = parse_ini_file($tplinc.'style.ini',true);
55519b3173SAndreas Gohr        foreach($ini['stylesheets'] as $file => $mode){
56124af657SAndreas Gohr            $tplstyles[$mode][$tplinc.$file] = $tpldir;
57519b3173SAndreas Gohr        }
58519b3173SAndreas Gohr    }
59519b3173SAndreas Gohr
6078a6aeb1SAndreas Gohr    // Array of needed files and their web locations, the latter ones
6178a6aeb1SAndreas Gohr    // are needed to fix relative paths in the stylesheets
6278a6aeb1SAndreas Gohr    $files   = array();
63318cd03eSAnika Henke    // load core styles
64318cd03eSAnika Henke    $files[DOKU_INC.'lib/styles/'.$mediatype.'.css'] = DOKU_BASE.'lib/styles/';
65318cd03eSAnika Henke    // load plugin styles
66318cd03eSAnika Henke    $files = array_merge($files, css_pluginstyles($mediatype));
67318cd03eSAnika Henke    // load template styles
68318cd03eSAnika Henke    if (isset($tplstyles[$mediatype])) {
69318cd03eSAnika Henke        $files = array_merge($files, $tplstyles[$mediatype]);
7009edb711SAndreas Gohr    }
71318cd03eSAnika Henke    // if old 'default' userstyle setting exists, make it 'screen' userstyle for backwards compatibility
72318cd03eSAnika Henke    if (isset($config_cascade['userstyle']['default'])) {
73318cd03eSAnika Henke        $config_cascade['userstyle']['screen'] = $config_cascade['userstyle']['default'];
74318cd03eSAnika Henke    }
75318cd03eSAnika Henke    // load user styles
76318cd03eSAnika Henke    if(isset($config_cascade['userstyle'][$mediatype])){
77318cd03eSAnika Henke        $files[$config_cascade['userstyle'][$mediatype]] = DOKU_BASE;
78318cd03eSAnika Henke    }
79318cd03eSAnika Henke    // load rtl styles
80318cd03eSAnika Henke    // @todo: this currently adds the rtl styles only to the 'screen' media type
81318cd03eSAnika Henke    //        but 'print' and 'all' should also be supported
82318cd03eSAnika Henke    if ($mediatype=='screen') {
8378a6aeb1SAndreas Gohr        if($lang['direction'] == 'rtl'){
841f5663fdSchris            if (isset($tplstyles['rtl'])) $files = array_merge($files, $tplstyles['rtl']);
8578a6aeb1SAndreas Gohr        }
8678a6aeb1SAndreas Gohr    }
8778a6aeb1SAndreas Gohr
8838f56bffSBen Coburn    // check cache age & handle conditional request
8907525e80SBen Coburn    header('Cache-Control: public, max-age=3600');
9038f56bffSBen Coburn    header('Pragma: public');
91124af657SAndreas Gohr    if(css_cacheok($cache,array_keys($files),$tplinc)){
9238f56bffSBen Coburn        http_conditionalRequest(filemtime($cache));
93cf6894dfSAndreas Gohr        if($conf['allowdebug']) header("X-CacheUsed: $cache");
94ca2b464bSChris Smith
95ca2b464bSChris Smith        // finally send output
9698bda4fdSAndreas Gohr        if ($conf['gzip_output'] && http_gzip_valid($cache)) {
97ca2b464bSChris Smith          header('Vary: Accept-Encoding');
98ca2b464bSChris Smith          header('Content-Encoding: gzip');
9998bda4fdSAndreas Gohr          readfile($cache.".gz");
100ca2b464bSChris Smith        } else {
101ca2b464bSChris Smith          if (!http_sendfile($cache)) readfile($cache);
102ca2b464bSChris Smith        }
103ca2b464bSChris Smith
10478a6aeb1SAndreas Gohr        return;
10538f56bffSBen Coburn    } else {
10638f56bffSBen Coburn        http_conditionalRequest(time());
10778a6aeb1SAndreas Gohr    }
10878a6aeb1SAndreas Gohr
10978a6aeb1SAndreas Gohr    // start output buffering and build the stylesheet
11078a6aeb1SAndreas Gohr    ob_start();
11178a6aeb1SAndreas Gohr
112d15166e5SAndreas Gohr    // print the default classes for interwiki links and file downloads
1131c2d1019SAndreas Gohr    css_interwiki();
114d15166e5SAndreas Gohr    css_filetypes();
1151c2d1019SAndreas Gohr
11678a6aeb1SAndreas Gohr    // load files
11778a6aeb1SAndreas Gohr    foreach($files as $file => $location){
11878a6aeb1SAndreas Gohr        print css_loadfile($file, $location);
11978a6aeb1SAndreas Gohr    }
12078a6aeb1SAndreas Gohr
12178a6aeb1SAndreas Gohr    // end output buffering and get contents
12278a6aeb1SAndreas Gohr    $css = ob_get_contents();
12378a6aeb1SAndreas Gohr    ob_end_clean();
12478a6aeb1SAndreas Gohr
1256e69c1baSAndreas Gohr    // apply style replacements
126124af657SAndreas Gohr    $css = css_applystyle($css,$tplinc);
1276e69c1baSAndreas Gohr
128f7d780b9SGabriel Birke    // place all @import statements at the top of the file
129f7d780b9SGabriel Birke    $css = css_moveimports($css);
130f7d780b9SGabriel Birke
13178a6aeb1SAndreas Gohr    // compress whitespace and comments
13278a6aeb1SAndreas Gohr    if($conf['compress']){
13378a6aeb1SAndreas Gohr        $css = css_compress($css);
13478a6aeb1SAndreas Gohr    }
13578a6aeb1SAndreas Gohr
13678a6aeb1SAndreas Gohr    // save cache file
13778a6aeb1SAndreas Gohr    io_saveFile($cache,$css);
138c8317406SAndreas Gohr    if(function_exists('gzopen')) io_saveFile("$cache.gz",$css);
13978a6aeb1SAndreas Gohr
14078a6aeb1SAndreas Gohr    // finally send output
14198bda4fdSAndreas Gohr    if ($conf['gzip_output']) {
142ca2b464bSChris Smith      header('Vary: Accept-Encoding');
143ca2b464bSChris Smith      header('Content-Encoding: gzip');
144ca2b464bSChris Smith      print gzencode($css,9,FORCE_GZIP);
145ca2b464bSChris Smith    } else {
14678a6aeb1SAndreas Gohr      print $css;
14778a6aeb1SAndreas Gohr    }
148ca2b464bSChris Smith}
14978a6aeb1SAndreas Gohr
15078a6aeb1SAndreas Gohr/**
15178a6aeb1SAndreas Gohr * Checks if a CSS Cache file still is valid
15278a6aeb1SAndreas Gohr *
15378a6aeb1SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
15478a6aeb1SAndreas Gohr */
155124af657SAndreas Gohrfunction css_cacheok($cache,$files,$tplinc){
156f8121585SChris Smith    global $config_cascade;
157f8121585SChris Smith
158c66972f2SAdrian Lang    if(isset($_REQUEST['purge'])) return false; //support purge request
1590df6f150SAndreas Gohr
16078a6aeb1SAndreas Gohr    $ctime = @filemtime($cache);
16178a6aeb1SAndreas Gohr    if(!$ctime) return false; //There is no cache
16278a6aeb1SAndreas Gohr
16378a6aeb1SAndreas Gohr    // some additional files to check
164f8121585SChris Smith    $files = array_merge($files, getConfigFiles('main'));
165124af657SAndreas Gohr    $files[] = $tplinc.'style.ini';
16678a6aeb1SAndreas Gohr    $files[] = __FILE__;
16778a6aeb1SAndreas Gohr
16878a6aeb1SAndreas Gohr    // now walk the files
16978a6aeb1SAndreas Gohr    foreach($files as $file){
17078a6aeb1SAndreas Gohr        if(@filemtime($file) > $ctime){
17178a6aeb1SAndreas Gohr            return false;
17278a6aeb1SAndreas Gohr        }
17378a6aeb1SAndreas Gohr    }
17478a6aeb1SAndreas Gohr    return true;
17578a6aeb1SAndreas Gohr}
17678a6aeb1SAndreas Gohr
17778a6aeb1SAndreas Gohr/**
1786e69c1baSAndreas Gohr * Does placeholder replacements in the style according to
1796e69c1baSAndreas Gohr * the ones defined in a templates style.ini file
1806e69c1baSAndreas Gohr *
1816e69c1baSAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
1826e69c1baSAndreas Gohr */
183124af657SAndreas Gohrfunction css_applystyle($css,$tplinc){
184124af657SAndreas Gohr    if(@file_exists($tplinc.'style.ini')){
185124af657SAndreas Gohr        $ini = parse_ini_file($tplinc.'style.ini',true);
186519b3173SAndreas Gohr        $css = strtr($css,$ini['replacements']);
1876e69c1baSAndreas Gohr    }
1886e69c1baSAndreas Gohr    return $css;
1896e69c1baSAndreas Gohr}
1906e69c1baSAndreas Gohr
1916e69c1baSAndreas Gohr/**
1921c2d1019SAndreas Gohr * Prints classes for interwikilinks
1931c2d1019SAndreas Gohr *
1941c2d1019SAndreas Gohr * Interwiki links have two classes: 'interwiki' and 'iw_$name>' where
1951c2d1019SAndreas Gohr * $name is the identifier given in the config. All Interwiki links get
1961c2d1019SAndreas Gohr * an default style with a default icon. If a special icon is available
1971c2d1019SAndreas Gohr * for an interwiki URL it is set in it's own class. Both classes can be
1981c2d1019SAndreas Gohr * overwritten in the template or userstyles.
1991c2d1019SAndreas Gohr *
2001c2d1019SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
2011c2d1019SAndreas Gohr */
2021c2d1019SAndreas Gohrfunction css_interwiki(){
2031c2d1019SAndreas Gohr
2041c2d1019SAndreas Gohr    // default style
2051c2d1019SAndreas Gohr    echo 'a.interwiki {';
2061c2d1019SAndreas Gohr    echo ' background: transparent url('.DOKU_BASE.'lib/images/interwiki.png) 0px 1px no-repeat;';
207*7b4ea081Smarklundeberg    echo ' padding: 1px 0px 1px 16px;';
2081c2d1019SAndreas Gohr    echo '}';
2091c2d1019SAndreas Gohr
2101c2d1019SAndreas Gohr    // additional styles when icon available
2111c2d1019SAndreas Gohr    $iwlinks = getInterwiki();
2121c2d1019SAndreas Gohr    foreach(array_keys($iwlinks) as $iw){
2139d2ddea4SAndreas Gohr        $class = preg_replace('/[^_\-a-z0-9]+/i','_',$iw);
2141c2d1019SAndreas Gohr        if(@file_exists(DOKU_INC.'lib/images/interwiki/'.$iw.'.png')){
2159d2ddea4SAndreas Gohr            echo "a.iw_$class {";
2161c2d1019SAndreas Gohr            echo '  background-image: url('.DOKU_BASE.'lib/images/interwiki/'.$iw.'.png)';
2171c2d1019SAndreas Gohr            echo '}';
2181c2d1019SAndreas Gohr        }elseif(@file_exists(DOKU_INC.'lib/images/interwiki/'.$iw.'.gif')){
2199d2ddea4SAndreas Gohr            echo "a.iw_$class {";
2201c2d1019SAndreas Gohr            echo '  background-image: url('.DOKU_BASE.'lib/images/interwiki/'.$iw.'.gif)';
2211c2d1019SAndreas Gohr            echo '}';
2221c2d1019SAndreas Gohr        }
2231c2d1019SAndreas Gohr    }
224d15166e5SAndreas Gohr}
2251c2d1019SAndreas Gohr
226d15166e5SAndreas Gohr/**
227d15166e5SAndreas Gohr * Prints classes for file download links
228d15166e5SAndreas Gohr *
229d15166e5SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
230d15166e5SAndreas Gohr */
231d15166e5SAndreas Gohrfunction css_filetypes(){
232d15166e5SAndreas Gohr
233d15166e5SAndreas Gohr    // default style
234d15166e5SAndreas Gohr    echo 'a.mediafile {';
235d15166e5SAndreas Gohr    echo ' background: transparent url('.DOKU_BASE.'lib/images/fileicons/file.png) 0px 1px no-repeat;';
2365b77caf4SAndreas Gohr    echo ' padding-left: 18px;';
2375b77caf4SAndreas Gohr    echo ' padding-bottom: 1px;';
238d15166e5SAndreas Gohr    echo '}';
239d15166e5SAndreas Gohr
240d15166e5SAndreas Gohr    // additional styles when icon available
24127bf7924STom N Harris    // scan directory for all icons
24227bf7924STom N Harris    $exts = array();
24327bf7924STom N Harris    if($dh = opendir(DOKU_INC.'lib/images/fileicons')){
24427bf7924STom N Harris        while(false !== ($file = readdir($dh))){
24527bf7924STom N Harris            if(preg_match('/([_\-a-z0-9]+(?:\.[_\-a-z0-9]+)*?)\.(png|gif)/i',$file,$match)){
24627bf7924STom N Harris                $ext = strtolower($match[1]);
24727bf7924STom N Harris                $type = '.'.strtolower($match[2]);
24827bf7924STom N Harris                if($ext!='file' && (!isset($exts[$ext]) || $type=='.png')){
24927bf7924STom N Harris                    $exts[$ext] = $type;
250d15166e5SAndreas Gohr                }
251d15166e5SAndreas Gohr            }
2521c2d1019SAndreas Gohr        }
25327bf7924STom N Harris        closedir($dh);
25427bf7924STom N Harris    }
25527bf7924STom N Harris    foreach($exts as $ext=>$type){
25627bf7924STom N Harris        $class = preg_replace('/[^_\-a-z0-9]+/','_',$ext);
25727bf7924STom N Harris        echo "a.mf_$class {";
25827bf7924STom N Harris        echo '  background-image: url('.DOKU_BASE.'lib/images/fileicons/'.$ext.$type.')';
25927bf7924STom N Harris        echo '}';
26027bf7924STom N Harris    }
26127bf7924STom N Harris}
2621c2d1019SAndreas Gohr
2631c2d1019SAndreas Gohr/**
26478a6aeb1SAndreas Gohr * Loads a given file and fixes relative URLs with the
26578a6aeb1SAndreas Gohr * given location prefix
26678a6aeb1SAndreas Gohr */
26778a6aeb1SAndreas Gohrfunction css_loadfile($file,$location=''){
26878a6aeb1SAndreas Gohr    if(!@file_exists($file)) return '';
26978a6aeb1SAndreas Gohr    $css = io_readFile($file);
27078a6aeb1SAndreas Gohr    if(!$location) return $css;
27178a6aeb1SAndreas Gohr
2726e0b4b67SMichael Hamann    $css = preg_replace('#(url\([ \'"]*)(?!/|http://|https://| |\'|")#','\\1'.$location,$css);
2736e0b4b67SMichael Hamann    $css = preg_replace('#(@import\s+[\'"])(?!/|http://|https://)#', '\\1'.$location, $css);
27478a6aeb1SAndreas Gohr    return $css;
27578a6aeb1SAndreas Gohr}
27678a6aeb1SAndreas Gohr
27715c394afSAndreas Gohr
27878a6aeb1SAndreas Gohr/**
27978a6aeb1SAndreas Gohr * Returns a list of possible Plugin Styles (no existance check here)
28078a6aeb1SAndreas Gohr *
28178a6aeb1SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
28278a6aeb1SAndreas Gohr */
283318cd03eSAnika Henkefunction css_pluginstyles($mediatype='screen'){
284208c0215SAndreas Gohr    global $lang;
28578a6aeb1SAndreas Gohr    $list = array();
28678a6aeb1SAndreas Gohr    $plugins = plugin_list();
28778a6aeb1SAndreas Gohr    foreach ($plugins as $p){
288318cd03eSAnika Henke        $list[DOKU_PLUGIN."$p/$mediatype.css"]  = DOKU_BASE."lib/plugins/$p/";
289318cd03eSAnika Henke        // alternative for screen.css
290318cd03eSAnika Henke        if ($mediatype=='screen') {
29178a6aeb1SAndreas Gohr            $list[DOKU_PLUGIN."$p/style.css"]  = DOKU_BASE."lib/plugins/$p/";
29278a6aeb1SAndreas Gohr        }
293208c0215SAndreas Gohr        if($lang['direction'] == 'rtl'){
294208c0215SAndreas Gohr            $list[DOKU_PLUGIN."$p/rtl.css"] = DOKU_BASE."lib/plugins/$p/";
295208c0215SAndreas Gohr        }
29678a6aeb1SAndreas Gohr    }
29778a6aeb1SAndreas Gohr    return $list;
29878a6aeb1SAndreas Gohr}
29978a6aeb1SAndreas Gohr
30078a6aeb1SAndreas Gohr/**
301f7d780b9SGabriel Birke * Move all @import statements in a combined stylesheet to the top so they
302f7d780b9SGabriel Birke * aren't ignored by the browser.
303f7d780b9SGabriel Birke *
304f7d780b9SGabriel Birke * @author Gabriel Birke <birke@d-scribe.de>
305f7d780b9SGabriel Birke */
306f7d780b9SGabriel Birkefunction css_moveimports($css)
307f7d780b9SGabriel Birke{
308f7d780b9SGabriel Birke    if(!preg_match_all('/@import\s+(?:url\([^)]+\)|"[^"]+")\s*[^;]*;\s*/', $css, $matches, PREG_OFFSET_CAPTURE)) {
309f7d780b9SGabriel Birke        return $css;
310f7d780b9SGabriel Birke    }
311f7d780b9SGabriel Birke    $newCss  = "";
312f7d780b9SGabriel Birke    $imports = "";
313f7d780b9SGabriel Birke    $offset  = 0;
314f7d780b9SGabriel Birke    foreach($matches[0] as $match) {
315f7d780b9SGabriel Birke        $newCss  .= substr($css, $offset, $match[1] - $offset);
316f7d780b9SGabriel Birke        $imports .= $match[0];
317f7d780b9SGabriel Birke        $offset   = $match[1] + strlen($match[0]);
318f7d780b9SGabriel Birke    }
319f7d780b9SGabriel Birke    $newCss .= substr($css, $offset);
320f7d780b9SGabriel Birke    return $imports.$newCss;
321f7d780b9SGabriel Birke}
322f7d780b9SGabriel Birke
323f7d780b9SGabriel Birke/**
32478a6aeb1SAndreas Gohr * Very simple CSS optimizer
32578a6aeb1SAndreas Gohr *
32678a6aeb1SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
32778a6aeb1SAndreas Gohr */
32878a6aeb1SAndreas Gohrfunction css_compress($css){
329fd7c2db0SAndreas Gohr    //strip comments through a callback
330fd7c2db0SAndreas Gohr    $css = preg_replace_callback('#(/\*)(.*?)(\*/)#s','css_comment_cb',$css);
331fd7c2db0SAndreas Gohr
332247c1c5dSAndreas Gohr    //strip (incorrect but common) one line comments
333fd7c2db0SAndreas Gohr    $css = preg_replace('/(?<!:)\/\/.*$/m','',$css);
334247c1c5dSAndreas Gohr
33578a6aeb1SAndreas Gohr    // strip whitespaces
33678a6aeb1SAndreas Gohr    $css = preg_replace('![\r\n\t ]+!',' ',$css);
3375646f690SAndreas Gohr    $css = preg_replace('/ ?([:;,{}\/]) ?/','\\1',$css);
33878a6aeb1SAndreas Gohr
33978a6aeb1SAndreas Gohr    // shorten colors
34078a6aeb1SAndreas Gohr    $css = preg_replace("/#([0-9a-fA-F]{1})\\1([0-9a-fA-F]{1})\\2([0-9a-fA-F]{1})\\3/", "#\\1\\2\\3",$css);
34178a6aeb1SAndreas Gohr
34278a6aeb1SAndreas Gohr    return $css;
34378a6aeb1SAndreas Gohr}
34478a6aeb1SAndreas Gohr
345c00aef76SAndreas Gohr/**
346c00aef76SAndreas Gohr * Callback for css_compress()
347c00aef76SAndreas Gohr *
348c00aef76SAndreas Gohr * Keeps short comments (< 5 chars) to maintain typical browser hacks
349c00aef76SAndreas Gohr *
350c00aef76SAndreas Gohr * @author Andreas Gohr <andi@splitbrain.org>
351c00aef76SAndreas Gohr */
352c00aef76SAndreas Gohrfunction css_comment_cb($matches){
353c00aef76SAndreas Gohr    if(strlen($matches[2]) > 4) return '';
354c00aef76SAndreas Gohr    return $matches[0];
355c00aef76SAndreas Gohr}
35678a6aeb1SAndreas Gohr
357e3776c06SMichael Hamann//Setup VIM: ex: et ts=4 :
358