Reedy has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/328482 )
Change subject: 3 more to extension.json in extension-list ...................................................................... 3 more to extension.json in extension-list Bug: T139800 Change-Id: Ib270de9d54a720bdb3ac5ce1e1d5838ebfe1de1e --- M wmf-config/extension-list 1 file changed, 3 insertions(+), 3 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/82/328482/1 diff --git a/wmf-config/extension-list b/wmf-config/extension-list index f12cc91..9c867ce 100644 --- a/wmf-config/extension-list +++ b/wmf-config/extension-list @@ -34,7 +34,7 @@ $IP/extensions/DismissableSiteNotice/extension.json $IP/extensions/DonationInterface/extension.json $IP/extensions/DoubleWiki/extension.json -$IP/extensions/Echo/Echo.php +$IP/extensions/Echo/extension.json $IP/extensions/EducationProgram/EducationProgram.php $IP/extensions/Elastica/extension.json $IP/extensions/ElectronPdfService/extension.json @@ -43,7 +43,7 @@ $IP/extensions/ExtensionDistributor/extension.json $IP/extensions/FeaturedFeeds/extension.json $IP/extensions/FlaggedRevs/FlaggedRevs.php -$IP/extensions/Flow/Flow.php +$IP/extensions/Flow/extension.json $IP/extensions/FundraiserLandingPage/extension.json $IP/extensions/FundraisingTranslateWorkflow/extension.json $IP/extensions/Gadgets/extension.json @@ -102,7 +102,7 @@ $IP/extensions/RelatedSites/extension.json $IP/extensions/Renameuser/extension.json $IP/extensions/RevisionSlider/extension.json -$IP/extensions/RSS/RSS.php +$IP/extensions/RSS/extension.json $IP/extensions/SandboxLink/extension.json $IP/extensions/Score/extension.json $IP/extensions/Scribunto/Scribunto.php -- To view, visit https://gerrit.wikimedia.org/r/328482 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ib270de9d54a720bdb3ac5ce1e1d5838ebfe1de1e Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Reedy <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
