Umherirrender has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/334883 )
Change subject: Set additionalProperties to false for requires in
extension.json schema
......................................................................
Set additionalProperties to false for requires in extension.json schema
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(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/83/334883/1
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: newchange
Gerrit-Change-Id: Ief84497de6b2fa2d2715fc713088bee66c21fdc0
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
