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 <umherirrender_de...@web.de>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to