jenkins-bot has submitted this change and it was merged. Change subject: 8 more to extension.json in extension-list ......................................................................
8 more to extension.json in extension-list Bug: T139800 Change-Id: I50ed06711289d4fbdf624e307a6fcefd45308c4e --- M wmf-config/extension-list 1 file changed, 8 insertions(+), 9 deletions(-) Approvals: Reedy: Looks good to me, approved jenkins-bot: Verified diff --git a/wmf-config/extension-list b/wmf-config/extension-list index 2ff54ce..ef0ca34 100644 --- a/wmf-config/extension-list +++ b/wmf-config/extension-list @@ -8,7 +8,7 @@ $IP/extensions/Campaigns/extension.json $IP/extensions/Capiunto/extension.json $IP/extensions/Cards/extension.json -$IP/extensions/CategoryTree/CategoryTree.php +$IP/extensions/CategoryTree/extension.json $IP/extensions/CentralAuth/extension.json $IP/extensions/CentralNotice/CentralNotice.php $IP/extensions/CharInsert/extension.json @@ -25,7 +25,7 @@ $IP/extensions/CommonsMetadata/extension.json $IP/extensions/ConfirmEdit/extension.json $IP/extensions/ConfirmEdit/extension.json -$IP/extensions/ContactPage/ContactPage.php +$IP/extensions/ContactPage/extension.json $IP/extensions/ContentTranslation/extension.json $IP/extensions/ContributionTracking/extension.json $IP/extensions/CreditsSource/extension.json @@ -38,7 +38,7 @@ $IP/extensions/EducationProgram/EducationProgram.php $IP/extensions/Elastica/extension.json $IP/extensions/EventBus/extension.json -$IP/extensions/EventLogging/EventLogging.php +$IP/extensions/EventLogging/extension.json $IP/extensions/ExtensionDistributor/extension.json $IP/extensions/FeaturedFeeds/extension.json $IP/extensions/FlaggedRevs/FlaggedRevs.php @@ -48,7 +48,7 @@ $IP/extensions/Gadgets/extension.json $IP/extensions/GeoCrumbs/extension.json $IP/extensions/GeoData/GeoData.php -$IP/extensions/GettingStarted/GettingStarted.php +$IP/extensions/GettingStarted/extension.json $IP/extensions/GlobalBlocking/extension.json $IP/extensions/GlobalCssJs/extension.json $IP/extensions/GlobalUsage/extension.json @@ -67,7 +67,7 @@ $IP/extensions/Kartographer/extension.json $IP/extensions/LabeledSectionTransclusion/extension.json $IP/extensions/LandingCheck/extension.json -$IP/extensions/LiquidThreads/LiquidThreads.php +$IP/extensions/LiquidThreads/extension.json $IP/extensions/Listings/extension.json $IP/extensions/LocalisationUpdate/extension.json $IP/extensions/MapSources/extension.json @@ -82,7 +82,7 @@ $IP/extensions/NewUserMessage/extension.json $IP/extensions/Nuke/extension.json $IP/extensions/OATHAuth/extension.json -$IP/extensions/OAuth/OAuth.php +$IP/extensions/OAuth/extension.json $IP/extensions/ORES/extension.json $IP/extensions/PageAssessments/extension.json $IP/extensions/PagedTiffHandler/PagedTiffHandler.php @@ -120,7 +120,7 @@ $IP/extensions/TextExtracts/extension.json $IP/extensions/Thanks/extension.json $IP/extensions/TimedMediaHandler/TimedMediaHandler.php -$IP/extensions/timeline/Timeline.php +$IP/extensions/timeline/extension.json $IP/extensions/TitleBlacklist/extension.json $IP/extensions/TocTree/extension.json $IP/extensions/TorBlock/extension.json @@ -133,8 +133,7 @@ $IP/extensions/UploadWizard/extension.json $IP/extensions/UrlShortener/extension.json $IP/extensions/UserMerge/extension.json -$IP/extensions/VipsScaler/VipsScaler.php -$IP/extensions/VipsScaler/VipsTest.php +$IP/extensions/VipsScaler/extensions.json $IP/extensions/VisualEditor/extension.json $IP/extensions/WikidataPageBanner/extension.json $IP/extensions/WikiEditor/extension.json -- To view, visit https://gerrit.wikimedia.org/r/303915 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I50ed06711289d4fbdf624e307a6fcefd45308c4e Gerrit-PatchSet: 3 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Reedy <[email protected]> Gerrit-Reviewer: Florianschmidtwelzow <[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
