X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=blobdiff_plain;f=maintenance%2Fdev%2Fincludes%2Frouter.php;h=bb600bf92fba667990f87a31f7c74eebe304215a;hp=9917a4fa080284c5d8fb7138a1471a55df4aced2;hb=424eb75d77f7a7513cd59083198f5b3a407a8715;hpb=828dbd1d475a77a5d28563031d4cd61bb080fef0

diff --git a/maintenance/dev/includes/router.php b/maintenance/dev/includes/router.php
index 9917a4fa08..bb600bf92f 100644
--- a/maintenance/dev/includes/router.php
+++ b/maintenance/dev/includes/router.php
@@ -1,7 +1,7 @@
 <?php
 /**
  * Router for the php cli-server built-in webserver.
- * https://secure.php.net/manual/en/features.commandline.webserver.php
+ * https://www.php.net/manual/en/features.commandline.webserver.php
  *
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -25,73 +25,71 @@ if ( PHP_SAPI != 'cli-server' ) {
 	die( "This script can only be run by php's cli-server sapi." );
 }
 
-ini_set( 'display_errors', 1 );
-error_reporting( E_ALL );
-
-if ( isset( $_SERVER["SCRIPT_FILENAME"] ) ) {
-	# Known resource, sometimes a script sometimes a file
-	$file = $_SERVER["SCRIPT_FILENAME"];
-} elseif ( isset( $_SERVER["SCRIPT_NAME"] ) ) {
-	# Usually unknown, document root relative rather than absolute
-	# Happens with some cases like /wiki/File:Image.png
-	if ( is_readable( $_SERVER['DOCUMENT_ROOT'] . $_SERVER["SCRIPT_NAME"] ) ) {
-		# Just in case this actually IS a file, set it here
-		$file = $_SERVER['DOCUMENT_ROOT'] . $_SERVER["SCRIPT_NAME"];
-	} else {
-		# Otherwise let's pretend that this is supposed to go to index.php
-		$file = $_SERVER['DOCUMENT_ROOT'] . '/index.php';
-	}
-} else {
-	# Meh, we'll just give up
+if ( !isset( $_SERVER['SCRIPT_FILENAME'] ) ) {
+	// Let built-in server handle error.
 	return false;
 }
 
-# And now do handling for that $file
-
+// The SCRIPT_FILENAME can be one of three things:
+// 1. Absolute path to a file in the docroot associated with the
+//    path of the current request URL. PHP does this for any file path
+//    where it finds a matching file on disk. For both PHP files, and for
+//    static files.
+// 2. Relative path to router.php (this file), for any unknown URL path
+//    that ends in ".php" or another extension that PHP would execute.
+// 3. Absolute path to {docroot}/index.php, for any other unknown path.
+//    Effectively treating it as a 404 handler.
+$file = $_SERVER['SCRIPT_FILENAME'];
 if ( !is_readable( $file ) ) {
-	# Let the server throw the error if it doesn't exist
+	// Let built-in server handle error.
 	return false;
 }
+
 $ext = pathinfo( $file, PATHINFO_EXTENSION );
-if ( $ext == 'php' || $ext == 'php5' ) {
+if ( $ext == 'php' ) {
+	// Let built-in server handle script inclusion.
 	return false;
-}
-$mime = false;
-// Borrow mime type file from MimeAnalyzer
-$lines = explode( "\n", file_get_contents( "includes/libs/mime/mime.types" ) );
-foreach ( $lines as $line ) {
-	$exts = explode( " ", $line );
-	$mime = array_shift( $exts );
-	if ( in_array( $ext, $exts ) ) {
-		break; # this is the right value for $mime
-	}
-	$mime = false;
-}
-if ( !$mime ) {
-	$basename = basename( $file );
-	if ( $basename == strtoupper( $basename ) ) {
-		# IF it's something like README serve it as text
-		$mime = "text/plain";
+} else {
+	// Serve static file with appropiate Content-Type headers.
+	// The built-in server for PHP 7.0+ supports most files already
+	// (contrary to PHP 5.2, which was supported when router.php was created).
+	// But it still doesn't support as many MIME types as MediaWiki (e.g. ".json")
+
+	// Fallback
+	$mime = 'text/plain';
+	// Borrow from MimeAnalyzer
+	$lines = explode( "\n", file_get_contents( "includes/libs/mime/mime.types" ) );
+	foreach ( $lines as $line ) {
+		$exts = explode( ' ', $line );
+		$type = array_shift( $exts );
+		if ( in_array( $ext, $exts ) ) {
+			$mime = $type;
+			break;
+		}
 	}
-}
-if ( $mime ) {
-	# Use custom handling to serve files with a known MIME type
-	# This way we can serve things like .svg files that the built-in
-	# PHP webserver doesn't understand.
-	# ;) Nicely enough we just happen to bundle a mime.types file
-	$f = fopen( $file, 'rb' );
+
 	if ( preg_match( '#^text/#', $mime ) ) {
-		# Text should have a charset=UTF-8 (php's webserver does this too)
+		// Text should have a charset=UTF-8 (PHP's webserver does this too)
 		header( "Content-Type: $mime; charset=UTF-8" );
 	} else {
 		header( "Content-Type: $mime" );
 	}
-	header( "Content-Length: " . filesize( $file ) );
-	// Stream that out to the browser
-	fpassthru( $f );
+
+	$content = file_get_contents( $file );
+
+	header( 'Vary: Accept-Encoding' );
+	$acceptGzip = preg_match( '/\bgzip\b/', $_SERVER['HTTP_ACCEPT_ENCODING'] ?? '' );
+	if ( $acceptGzip &&
+		// Don't compress binary static files (e.g. png)
+		preg_match( '/text|javascript|json|css|xml|svg/', $mime ) &&
+		// Tiny files tend to grow instead of shrink. – <https://gerrit.wikimedia.org/r/537974>
+		strlen( $content ) > 150
+	) {
+		$content = gzencode( $content, 9 );
+		header( 'Content-Encoding: gzip' );
+	}
+	header( "Content-Length: " . strlen( $content ) );
+	echo $content;
 
 	return true;
 }
-
-# Let the php server handle things on its own otherwise
-return false;