| Index: trunk/phase3/docs/export-0.4.xsd |
| — | — | @@ -68,8 +68,8 @@ |
| 69 | 69 | <!-- Behavior when $wgCapitalLinks = false --> |
| 70 | 70 | <enumeration value="case-sensitive" /> |
| 71 | 71 | |
| 72 | | - <!-- Cannot have two titles differing only by case. --> |
| 73 | | - <!-- Not yet implemented as of MediaWiki 1.5 --> |
| | 72 | + <!-- Cannot have non-case senstitive titles eg [[FOO]] == [[Foo]] --> |
| | 73 | + <!-- Not yet implemented as of MediaWiki 1.18 --> |
| 74 | 74 | <enumeration value="case-insensitive" /> |
| 75 | 75 | </restriction> |
| 76 | 76 | </simpleType> |
| — | — | @@ -91,7 +91,6 @@ |
| 92 | 92 | <simpleContent> |
| 93 | 93 | <extension base="string"> |
| 94 | 94 | <attribute name="key" type="integer" /> |
| 95 | | - <attribute name="case" type="mw:CaseType" /> |
| 96 | 95 | </extension> |
| 97 | 96 | </simpleContent> |
| 98 | 97 | </complexType> |