From ca32f08966f1b51fcb19460f0996bb0c4048e6fe Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Sat, 3 Dec 2011 13:29:22 +0100
Subject: Update to MediaWiki 1.18.0

* also update ArchLinux skin to chagnes in MonoBook
* Use only css to hide our menu bar when printing
---
 docs/export-0.5.xsd | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'docs/export-0.5.xsd')

diff --git a/docs/export-0.5.xsd b/docs/export-0.5.xsd
index a0884958..ca54c938 100644
--- a/docs/export-0.5.xsd
+++ b/docs/export-0.5.xsd
@@ -68,8 +68,8 @@
 			<!-- Behavior when $wgCapitalLinks = false -->
 			<enumeration value="case-sensitive" />
 			
-			<!-- Cannot have two titles differing only by case. -->
-			<!-- Not yet implemented as of MediaWiki 1.5 -->
+			<!-- Cannot have non-case senstitive titles eg [[FOO]] == [[Foo]] -->
+			<!-- Not yet implemented as of MediaWiki 1.18 -->
 			<enumeration value="case-insensitive" />
 		</restriction>
 	</simpleType>
@@ -161,6 +161,10 @@
 				<attribute ref="xml:space" use="optional" default="preserve" />
 				<!-- This allows deleted=deleted on non-empty elements, but XSD is not omnipotent -->
 				<attribute name="deleted" use="optional" type="mw:DeletedFlagType"/>	
+				<!-- This isn't a good idea; we should be using "ID" instead of "NMTOKEN" -->
+				<!-- However, "NMTOKEN" is strictest definition that is both compatible with existing -->
+				<!-- usage ([0-9]+) and with the "ID" type. -->
+				<attribute name="id" type="NMTOKEN"/>
 				<attribute name="bytes" use="optional" type="nonNegativeInteger"/>
 			</extension>
 		</simpleContent>
-- 
cgit v1.2.2