Update to MediaWiki 1.18.0

* also update ArchLinux skin to chagnes in MonoBook
* Use only css to hide our menu bar when printing

1 files changed, 30 insertions, 0 deletions

diff --git a/maintenance/hiphop/server.conf b/maintenance/hiphop/server.conf
new file mode 100644
index 00000000..16af0f2f
--- /dev/null
+++ b/maintenance/hiphop/server.conf
@@ -0,0 +1,30 @@
+Log {
+	Level = Warning
+	UseLogFile = true
+	NativeStackTrace = true
+	InjectedStackTrace = true
+}
+Debug {
+	FullBacktrace = true
+	ServerStackTrace = true
+	ServerErrorMessage = true
+	TranslateSource = true
+}
+Server {
+	EnableStaticContentCache = false
+	EnableStaticContentFromDisk = false
+	AlwaysUseRelativePath = true
+}
+VirtualHost {
+	* {
+		ServerName = localhost
+		Pattern = .
+		RewriteRules {
+			* {
+				pattern = ^/wiki/(.*)$
+				to = /phase3/index.php?title=$1
+				qsa = true
+			}
+		}
+	}
+}