jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/334883 )
Change subject: registration: Don't allow extra properties in "requires"
......................................................................
registration: Don't allow extra properties in "requires"
VersionChecker is using a switch with a exception in the default path,
which makes it very unhappy to see additional properties.
Change-Id: Ief84497de6b2fa2d2715fc713088bee66c21fdc0
---
M docs/extension.schema.v2.json
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/docs/extension.schema.v2.json b/docs/extension.schema.v2.json
index a5543d1..b7ee1a7 100644
--- a/docs/extension.schema.v2.json
+++ b/docs/extension.schema.v2.json
@@ -56,6 +56,7 @@
"requires": {
"type": "object",
"description": "Indicates what versions of MediaWiki
core or extensions are required. This syntax may be extended in the future, for
example to check dependencies between other services.",
+ "additionalProperties": false,
"properties": {
"MediaWiki": {
"type": "string",
--
To view, visit https://gerrit.wikimedia.org/r/334883
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ief84497de6b2fa2d2715fc713088bee66c21fdc0
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
