From 84af5352ab5c40361fd632a1fbfad0777d00bb21 Mon Sep 17 00:00:00 2001
From: Daniel Friesen <dantman@users.mediawiki.org>
Date: Sat, 19 Nov 2011 14:14:57 +0000
Subject: [PATCH] Incorporate a router into our maintenance/dev/ code to better
 handle the variety of file types we support.

---
 maintenance/dev/router.php | 52 ++++++++++++++++++++++++++++++++++++++
 maintenance/dev/start.sh   |  2 +-
 2 files changed, 53 insertions(+), 1 deletion(-)
 create mode 100644 maintenance/dev/router.php

diff --git a/maintenance/dev/router.php b/maintenance/dev/router.php
new file mode 100644
index 0000000000..a35e21759e
--- /dev/null
+++ b/maintenance/dev/router.php
@@ -0,0 +1,52 @@
+<?php
+
+if ( isset( $_SERVER["SCRIPT_FILENAME"] ) ) {
+	$file = $_SERVER["SCRIPT_FILENAME"];
+	if ( !is_readable( $file ) ) {
+		// Let the server throw the error
+		return false;
+	}
+	$ext = pathinfo( $file, PATHINFO_EXTENSION );
+	if ( $ext == 'php' ) {
+		# Let it execute php files
+		return false;
+	}
+	$mime = false;
+	$lines = explode( "\n", file_get_contents( "includes/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";
+		}
+	}
+	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)
+			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);
+		return true;
+	}
+}
+
+# Let the php server handle things on it's own otherwise
+return false;
+
diff --git a/maintenance/dev/start.sh b/maintenance/dev/start.sh
index 3a0aa7e949..43b2daeb23 100755
--- a/maintenance/dev/start.sh
+++ b/maintenance/dev/start.sh
@@ -18,4 +18,4 @@ echo "Starting up MediaWiki at http://localhost:$PORT/"
 echo ""
 
 cd "$DEV/../../"; # $IP
-"$PHP" -S "localhost:$PORT"
+"$PHP" -S "localhost:$PORT" "$DEV/router.php"
-- 
2.20.1