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, 19 insertions, 0 deletions

diff --git a/maintenance/Site.php b/maintenance/Site.php
new file mode 100644
index 00000000..87d637b4
--- /dev/null
+++ b/maintenance/Site.php
@@ -0,0 +1,19 @@
+<?php
+/**
+ * @todo document
+ * @ingroup Maintenance
+ */
+class Site {
+	var $suffix, $lateral, $url;
+
+	function __construct( $s, $l, $u ) {
+		$this->suffix = $s;
+		$this->lateral = $l;
+		$this->url = $u;
+	}
+
+	function getURL( $lang, $urlprotocol ) {
+		$xlang = str_replace( '_', '-', $lang );
+		return "$urlprotocol//$xlang.{$this->url}/wiki/\$1";
+	}
+}