/** */
function wfStreamFile( $fname ) {
- global $wgSquidMaxage;
$stat = @stat( $fname );
if ( !$stat ) {
header( 'HTTP/1.0 404 Not Found' );
echo "<html><body>
<h1>File not found</h1>
-<p>Although this PHP script ({$_SERVER['SCRIPT_NAME']}) exists, the file requested for output
+<p>Although this PHP script ({$_SERVER['SCRIPT_NAME']}) exists, the file requested for output
does not.</p>
</body></html>";
return;
return;
}
}
-
+
header( 'Content-Length: ' . $stat['size'] );
-
+
$type = wfGetType( $fname );
if ( $type and $type!="unknown/unknown") {
header("Content-type: $type");
} else {
header('Content-type: application/x-wiki');
}
-
+
readfile( $fname );
}
# used for thumbnails (thumb.php)
if ($wgTrivialMimeDetection) {
$ext= strtolower(strrchr($filename, '.'));
-
+
switch ($ext) {
case '.gif': return 'image/gif';
case '.png': return 'image/png';
case '.jpg': return 'image/jpeg';
case '.jpeg': return 'image/jpeg';
}
-
+
return 'unknown/unknown';
}
else {