diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2007-01-11 19:06:07 +0000 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2007-01-11 19:06:07 +0000 |
| commit | a58285fd06c8113c45377c655dd43cef6337e815 (patch) | |
| tree | dfe31d3d12652352fe44890b4811eda0728faefb /includes/StreamFile.php | |
| parent | 20194986f6638233732ba1fc3e838f117d3cc9ea (diff) | |
Aktualisierung auf MediaWiki 1.9.0
Diffstat (limited to 'includes/StreamFile.php')
| -rw-r--r-- | includes/StreamFile.php | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/includes/StreamFile.php b/includes/StreamFile.php index 81538a84..949422d6 100644 --- a/includes/StreamFile.php +++ b/includes/StreamFile.php @@ -6,25 +6,23 @@ function wfStreamFile( $fname ) { $stat = @stat( $fname ); if ( !$stat ) { header( 'HTTP/1.0 404 Not Found' ); + header( 'Cache-Control: no-cache' ); + header( 'Content-Type: text/html' ); $encFile = htmlspecialchars( $fname ); $encScript = htmlspecialchars( $_SERVER['SCRIPT_NAME'] ); echo "<html><body> <h1>File not found</h1> <p>Although this PHP script ($encScript) exists, the file requested for output ($encFile) does not.</p> -</body></html>"; +</body></html> +"; return; } header( 'Last-Modified: ' . gmdate( 'D, d M Y H:i:s', $stat['mtime'] ) . ' GMT' ); // Cancel output buffering and gzipping if set - while( $status = ob_get_status() ) { - ob_end_clean(); - if( $status['name'] == 'ob_gzhandler' ) { - header( 'Content-Encoding:' ); - } - } + wfResetOutputBuffers(); $type = wfGetType( $fname ); if ( $type and $type!="unknown/unknown") { |