Dereckson has uploaded a new change for review.
https://gerrit.wikimedia.org/r/281303
Change subject: Use extension registration for ExtensionDistributor
......................................................................
Use extension registration for ExtensionDistributor
Bug: T119117
Change-Id: Ic78dbf9768c1328f3b7d88469d24e0ecc0a4c370
---
M wmf-config/CommonSettings.php
M wmf-config/extension-list
2 files changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config
refs/changes/03/281303/1
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 3cfa1bf..9f1a89d 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -855,7 +855,7 @@
}
if ( $wgDBname == 'mediawikiwiki' ) {
- include( "$IP/extensions/ExtensionDistributor/ExtensionDistributor.php"
);
+ wfLoadExtension( 'ExtensionDistributor' );
$wgExtDistListFile =
'https://gerrit.wikimedia.org/mediawiki-extensions.txt';
$wgExtDistAPIConfig = array(
'class' => 'GerritExtDistProvider',
diff --git a/wmf-config/extension-list b/wmf-config/extension-list
index 781759d..af29fa1 100644
--- a/wmf-config/extension-list
+++ b/wmf-config/extension-list
@@ -40,7 +40,7 @@
$IP/extensions/Elastica/Elastica.php
$IP/extensions/EventBus/extension.json
$IP/extensions/EventLogging/EventLogging.php
-$IP/extensions/ExtensionDistributor/ExtensionDistributor.php
+$IP/extensions/ExtensionDistributor/extension.json
$IP/extensions/FeaturedFeeds/FeaturedFeeds.php
$IP/extensions/FlaggedRevs/FlaggedRevs.php
$IP/extensions/Flow/Flow.php
--
To view, visit https://gerrit.wikimedia.org/r/281303
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic78dbf9768c1328f3b7d88469d24e0ecc0a4c370
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Dereckson <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
