jenkins-bot has submitted this change and it was merged.
Change subject: registration: Sync extension.schema.json with reality
......................................................................
registration: Sync extension.schema.json with reality
* info-files was never implemented
* path is no longer needed since we already know it
Change-Id: I0212620cb3a32e506717bd39a2fff4c9589f11cd
---
M docs/extension.schema.json
1 file changed, 0 insertions(+), 7 deletions(-)
Approvals:
Manybubbles: Looks good to me, but someone else must approve
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/docs/extension.schema.json b/docs/extension.schema.json
index 46f8623..4583559 100644
--- a/docs/extension.schema.json
+++ b/docs/extension.schema.json
@@ -7,10 +7,6 @@
"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.",
@@ -38,9 +34,6 @@
"type": "string"
},
"additionalItems": false
- },
- "path": {
- "type": "string"
},
"version": {
"type": "string",
--
To view, visit https://gerrit.wikimedia.org/r/184715
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0212620cb3a32e506717bd39a2fff4c9589f11cd
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: Manybubbles <[email protected]>
Gerrit-Reviewer: Parent5446 <[email protected]>
Gerrit-Reviewer: Tim Starling <[email protected]>
Gerrit-Reviewer: Waldir <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
