$file = substr($file, 1);
+ $file = ereg_replace('_[0-9]*[.]css', '.css', $file);
+
+ $mtime = filemtime($file);
+ if($mtime === false) {
+ header('Content-Type: text/plain');
+ print("cannot stat $file");
+ return;
+ }
+
header('Content-Type: text/css');
+ header('Last-Modified: '.gmdate('D, d M Y H:i:s', $mtime) . ' GMT');
+ header('Last-Modified: '.gmdate('D, d M Y H:i:s', $mtime) . ' GMT');
if(ie5or6()) {
echo(ereg_replace("\n[^\n]*remove this line for IE 5.5 and 6[^\n]*\n", "\n", read_whole_file($file)));