diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 13:29:22 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 13:29:22 +0100 |
| commit | ca32f08966f1b51fcb19460f0996bb0c4048e6fe (patch) | |
| tree | ec04cc15b867bc21eedca904cea9af0254531a11 /docs/export-0.5.xsd | |
| parent | a22fbfc60f36f5f7ee10d5ae6fe347340c2ee67c (diff) | |
Update to MediaWiki 1.18.0
* also update ArchLinux skin to chagnes in MonoBook
* Use only css to hide our menu bar when printing
Diffstat (limited to 'docs/export-0.5.xsd')
| -rw-r--r-- | docs/export-0.5.xsd | 8 |
1 files changed, 6 insertions, 2 deletions
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> |