summaryrefslogtreecommitdiff
path: root/docs/export-0.4.xsd
diff options
context:
space:
mode:
Diffstat (limited to 'docs/export-0.4.xsd')
-rw-r--r--docs/export-0.4.xsd8
1 files changed, 6 insertions, 2 deletions
diff --git a/docs/export-0.4.xsd b/docs/export-0.4.xsd
index 9ff39254..3e7f2eab 100644
--- a/docs/export-0.4.xsd
+++ b/docs/export-0.4.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"/>
</extension>
</simpleContent>
</complexType>