* info-files was never implemented
* path is no longer needed since we already know it
Change-Id: I0212620cb3a32e506717bd39a2fff4c9589f11cd
"type": "string",
"description": "The extension's canonical name."
},
- "info-files": {
- "type": "array",
- "description": "A list of filenames that should be loaded, in addition to this one"
- },
"type": {
"type": "string",
"description": "The extension's type, as an index to $wgExtensionCredits.",
},
"additionalItems": false
},
- "path": {
- "type": "string"
- },
"version": {
"type": "string",
"description": "The version of this release of the extension."