<?php
+/** */
+/** */
function wfStreamFile( $fname ) {
- global $wgSquidMaxage;
- $stat = stat( $fname );
+ $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;
}
- header( "Cache-Control: s-maxage=$wgSquidMaxage, must-revalidate, max-age=0" );
header( 'Last-Modified: ' . gmdate( 'D, d M Y H:i:s', $stat['mtime'] ) . ' GMT' );
- if ( !empty( $_SERVER['HTTP_IF_MODIFIED_SINCE'] ) ) {
- $modsince = preg_replace( '/;.*$/', '', $_SERVER['HTTP_IF_MODIFIED_SINCE'] );
- $sinceTime = strtotime( $modsince );
- if ( $stat['mtime'] <= $sinceTime ) {
- header( "HTTP/1.0 304 Not Modified" );
- return;
+ // Cancel output buffering and gzipping if set
+ while( $status = ob_get_status() ) {
+ ob_end_clean();
+ if( $status['name'] == 'ob_gzhandler' ) {
+ header( 'Content-Encoding: identity' );
}
}
- 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');
}
-
+
+ if ( !empty( $_SERVER['HTTP_IF_MODIFIED_SINCE'] ) ) {
+ $modsince = preg_replace( '/;.*$/', '', $_SERVER['HTTP_IF_MODIFIED_SINCE'] );
+ $sinceTime = strtotime( $modsince );
+ if ( $stat['mtime'] <= $sinceTime ) {
+ header( "HTTP/1.0 304 Not Modified" );
+ return;
+ }
+ }
+
+ header( 'Content-Length: ' . $stat['size'] );
+
readfile( $fname );
}
+/** */
function wfGetType( $filename ) {
global $wgTrivialMimeDetection;
# 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";
+ case '.gif': return 'image/gif';
+ case '.png': return 'image/png';
+ case '.jpg': return 'image/jpeg';
+ case '.jpeg': return 'image/jpeg';
}
-
- return "unknown/unknown";
+
+ return 'unknown/unknown';
}
else {
$magic=& wfGetMimeMagic();