| 1 |
<?php |
<?php |
| 2 |
// $Id: common.inc,v 1.756.2.71 2009/09/23 09:09:29 goba Exp $ |
// $Id: common.inc,v 1.756.2.72 2009/10/06 12:03:11 goba Exp $ |
| 3 |
|
|
| 4 |
/** |
/** |
| 5 |
* @file |
* @file |
| 2009 |
// Perform some safe CSS optimizations. |
// Perform some safe CSS optimizations. |
| 2010 |
$contents = preg_replace('< |
$contents = preg_replace('< |
| 2011 |
\s*([@{}:;,]|\)\s|\s\()\s* | # Remove whitespace around separators, but keep space around parentheses. |
\s*([@{}:;,]|\)\s|\s\()\s* | # Remove whitespace around separators, but keep space around parentheses. |
| 2012 |
/\*([^*\\\\]|\*(?!/))+\*/ | # Remove comments that are not CSS hacks. |
/\*([^*\\\\]|\*(?!/))+\*/ # Remove comments that are not CSS hacks. |
|
[\n\r] # Remove line breaks. |
|
| 2013 |
>x', '\1', $contents); |
>x', '\1', $contents); |
| 2014 |
} |
} |
| 2015 |
|
|