jenkins-bot has submitted this change and it was merged.
Change subject: Add version specific extension-list
......................................................................
Add version specific extension-list
Change-Id: Ib85e718352672639844826a364162d8fa6596ee5
---
M wmf-config/CommonSettings.php
A wmf-config/extension-list-1.23wmf2
2 files changed, 7 insertions(+), 0 deletions(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 1c9db5c..18a04d7 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -2706,6 +2706,10 @@
$wgGroupPermissions['confirmed'] = $wgGroupPermissions['autoconfirmed'];
$wgGroupPermissions['confirmed']['skipcaptcha'] = true;
+if ( file_exists( "$wmfConfigDir/extension-list-$wmfExtendedVersionNumber.php"
) ) {
+ $wgExtensionEntryPointListFiles[] =
"$wmfConfigDir/extension-list-$wmfExtendedVersionNumber";
+}
+
# THIS MUST BE AFTER ALL EXTENSIONS ARE INCLUDED
#
# REALLY ... we're not kidding here ... NO EXTENSIONS AFTER
diff --git a/wmf-config/extension-list-1.23wmf2
b/wmf-config/extension-list-1.23wmf2
new file mode 100644
index 0000000..bf920dd
--- /dev/null
+++ b/wmf-config/extension-list-1.23wmf2
@@ -0,0 +1,3 @@
+$IP/extensions/BetaFeatures/BetaFeatures.php
+$IP/extensions/CommonsMetadata/CommonsMetadata.php
+$IP/extensions/MultimediaViewer/MultimediaViewer.php
--
To view, visit https://gerrit.wikimedia.org/r/92897
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib85e718352672639844826a364162d8fa6596ee5
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
