diff options
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> |