diff options
Diffstat (limited to 'lib/exe/css.php')
-rw-r--r-- | lib/exe/css.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/exe/css.php b/lib/exe/css.php index a5b3eec66..2fb30999a 100644 --- a/lib/exe/css.php +++ b/lib/exe/css.php @@ -206,11 +206,11 @@ function css_pluginstyles($mode='screen'){ function css_compress($css){ // strip whitespaces $css = preg_replace('![\r\n\t ]+!',' ',$css); - $css = preg_replace('/ ?([:;,{}]) ?/','\\1',$css); + $css = preg_replace('/ ?([:;,{}\/]) ?/','\\1',$css); // strip comments (ungreedy) // We keep very small comments to maintain typical browser hacks - $css = preg_replace('!(/\*)(.{4,})(\*/)!U','',$css); + $css = preg_replace('#(/\*)((?!\*/).){4,}(\*/)#Us','',$css); // shorten colors $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); |