jenkins-bot has submitted this change and it was merged.
Change subject: Update ExtensionDistributor config
......................................................................
Update ExtensionDistributor config
* Add extensionListUrl setting
* Disable REL1_24 as it's confusing people
Change-Id: I36fdcce7aee69c62a7a79cb614f31be36d46168e
---
M wmf-config/CommonSettings.php
1 file changed, 2 insertions(+), 1 deletion(-)
Approvals:
Chad: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index c5130af..e080c7d 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -804,13 +804,14 @@
'apiUrl' =>
'https://gerrit.wikimedia.org/r/projects/mediawiki%2Fextensions%2F$EXT/branches',
'tarballUrl' =>
'https://extdist.wmflabs.org/dist/$EXT-$REF-$SHA.tar.gz',
'tarballName' => '$EXT-$REF-$SHA.tar.gz',
+ 'extensionListUrl' =>
'https://gerrit.wikimedia.org/r/projects/?p=mediawiki/extensions/',
);
// When changing the Snapshot Refs please change the corresponding
// extension distributor messages for mediawiki.org in
WikimediaMessages/i18n/wikimedia/*.json too
$wgExtDistSnapshotRefs = array(
'master',
- 'REL1_24',
+ // 'REL1_24', // Remove 1.24 since it's confusing people by
being the default
'REL1_23',
'REL1_22',
'REL1_21',
--
To view, visit https://gerrit.wikimedia.org/r/167408
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I36fdcce7aee69c62a7a79cb614f31be36d46168e
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
