jenkins-bot has submitted this change and it was merged.
Change subject: registration: Add ConfigRegistry to the extension.json schema
......................................................................
registration: Add ConfigRegistry to the extension.json schema
Change-Id: I6918215e3b5b2dd4c993d8a8767dc3ce998bd5ed
---
M docs/extension.schema.json
M includes/registration/ExtensionProcessor.php
2 files changed, 5 insertions(+), 0 deletions(-)
Approvals:
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/docs/extension.schema.json b/docs/extension.schema.json
index 4b29872..46f8623 100644
--- a/docs/extension.schema.json
+++ b/docs/extension.schema.json
@@ -420,6 +420,10 @@
"type": "object",
"description": "ResourceLoader import paths"
},
+ "ConfigRegistry": {
+ "type": "object",
+ "description": "Registry of factory functions to create
Config objects"
+ },
"namespaces": {
"type": "object",
"description": "Method to add extra namespaces",
diff --git a/includes/registration/ExtensionProcessor.php
b/includes/registration/ExtensionProcessor.php
index 459d95b..45bea64 100644
--- a/includes/registration/ExtensionProcessor.php
+++ b/includes/registration/ExtensionProcessor.php
@@ -23,6 +23,7 @@
'RemoveGroups',
'AvailableRights',
'ContentHandlers',
+ 'ConfigRegistry',
'RateLimits',
'ParserTestFiles',
'RecentChangesFlags',
--
To view, visit https://gerrit.wikimedia.org/r/184207
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6918215e3b5b2dd4c993d8a8767dc3ce998bd5ed
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: Parent5446 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
