jenkins-bot has submitted this change and it was merged.
Change subject: registration: Remove unused 'wgExtraNamespaces' merge strategy
......................................................................
registration: Remove unused 'wgExtraNamespaces' merge strategy
As of 9df0672255afd, this is no longer used.
Change-Id: I7e40096cb5173626ba7f2cd3d2be121c8a04768a
---
M includes/registration/ExtensionProcessor.php
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Gilles: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/registration/ExtensionProcessor.php
b/includes/registration/ExtensionProcessor.php
index 093ffbc..a5e44fc 100644
--- a/includes/registration/ExtensionProcessor.php
+++ b/includes/registration/ExtensionProcessor.php
@@ -59,7 +59,6 @@
'wgHooks' => 'array_merge_recursive',
// credits are handled in the ExtensionRegistry
//'wgExtensionCredits' => 'array_merge_recursive',
- 'wgExtraNamespaces' => 'array_plus',
'wgExtraGenderNamespaces' => 'array_plus',
'wgNamespacesWithSubpages' => 'array_plus',
'wgNamespaceContentModels' => 'array_plus',
--
To view, visit https://gerrit.wikimedia.org/r/237974
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7e40096cb5173626ba7f2cd3d2be121c8a04768a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: REL1_25
Gerrit-Owner: Legoktm <legoktm.wikipe...@gmail.com>
Gerrit-Reviewer: Gilles <gdu...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
