public static function filesize($file)
{
if (is_file($file)) {
return (double) sprintf('%u', @filesize($file));
} else {
if ($content_length = preg_grep($pattern = '#^Content-Length:\\s+(\\d+)$#i', (array) @get_headers($file))) {
return (int) preg_replace($pattern, '$1', reset($content_length));
}
}
}