jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/331954 )
Change subject: registration: Allow specifying the value of a config setting
can be public
......................................................................
registration: Allow specifying the value of a config setting can be public
This value is currently unused but will be used in later changes
for allowing to view configuration options on-wiki. It will require each
extension maintainer to whitelist the keys that can be published by marking
them as public.
Bug: T155156
Change-Id: I020c148157818ef8bfee0e79cb5a6f43181c5a8c
---
M docs/extension.schema.v2.json
1 file changed, 5 insertions(+), 0 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
Thiemo Mättig (WMDE): Looks good to me, but someone else must approve
diff --git a/docs/extension.schema.v2.json b/docs/extension.schema.v2.json
index b7ee1a7..d6f8c16 100644
--- a/docs/extension.schema.v2.json
+++ b/docs/extension.schema.v2.json
@@ -707,6 +707,11 @@
"description": {
"type": ["string",
"array"],
"description": "A
description of the config setting, mostly for documentation/developers"
+ },
+ "public": {
+ "type": "boolean",
+ "default": false,
+ "description": "Whether
this configuration option and its value is allowed to be revealed in public or
not."
}
}
}
--
To view, visit https://gerrit.wikimedia.org/r/331954
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I020c148157818ef8bfee0e79cb5a6f43181c5a8c
Gerrit-PatchSet: 5
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Thiemo Mättig (WMDE) <thiemo.maet...@wikimedia.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
