[MediaWiki-commits] [Gerrit] Deleted duplicated lines with extension names - change (integration/jenkins-job-builder-config)
Zfilipin has uploaded a new change for review. https://gerrit.wikimedia.org/r/150179 Change subject: Deleted duplicated lines with extension names .. Deleted duplicated lines with extension names Change-Id: I8d58f6056bc344e840081705d23d78a1d0848526 --- M mediawiki-extensions.yaml 1 file changed, 0 insertions(+), 14 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/integration/jenkins-job-builder-config refs/changes/79/150179/1 diff --git a/mediawiki-extensions.yaml b/mediawiki-extensions.yaml index 4c17ff9..0db82fb 100644 --- a/mediawiki-extensions.yaml +++ b/mediawiki-extensions.yaml @@ -368,12 +368,10 @@ - CentralAuth - CentralLogging - CentralNotice - - CentralNotice - CharInsert - CharRangeSpan - Checkpoint - CheckUser - - CirrusSearch - CirrusSearch - Cite - Citoid @@ -384,12 +382,6 @@ - CloseWikis - CodeEditor - CodeReview - - Collection - - Collection - - Collection - - Collection - - Collection - - Collection - Collection - Commentbox - CommentPages @@ -532,7 +524,6 @@ - GraphViz - GroupsSidebar - GuidedTour - - GuidedTour - GWToolset - HaloTripleStoreConnector - Hanp @@ -572,7 +563,6 @@ - Josa - JSBreadCrumbs - JsonConfig - - JsonData - JsonData - LabeledSectionTransclusion - LandingCheck @@ -700,9 +690,6 @@ - ParserFun - ParserFunctions - ParserHooks - - Parsoid - - Parsoid - - Parsoid - Parsoid - PartitionQuery - PDBHandler @@ -968,7 +955,6 @@ - WhoIsWatching - Widgets - WikiArticleFeeds - - Wikibase - Wikibase - WikibaseClient - WikibaseLib -- To view, visit https://gerrit.wikimedia.org/r/150179 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I8d58f6056bc344e840081705d23d78a1d0848526 Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins-job-builder-config Gerrit-Branch: master Gerrit-Owner: Zfilipin zfili...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Deleted duplicated lines with extension names - change (integration/jenkins-job-builder-config)
jenkins-bot has submitted this change and it was merged. Change subject: Deleted duplicated lines with extension names .. Deleted duplicated lines with extension names Change-Id: I8d58f6056bc344e840081705d23d78a1d0848526 --- M mediawiki-extensions.yaml 1 file changed, 0 insertions(+), 14 deletions(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/mediawiki-extensions.yaml b/mediawiki-extensions.yaml index 4c17ff9..0db82fb 100644 --- a/mediawiki-extensions.yaml +++ b/mediawiki-extensions.yaml @@ -368,12 +368,10 @@ - CentralAuth - CentralLogging - CentralNotice - - CentralNotice - CharInsert - CharRangeSpan - Checkpoint - CheckUser - - CirrusSearch - CirrusSearch - Cite - Citoid @@ -384,12 +382,6 @@ - CloseWikis - CodeEditor - CodeReview - - Collection - - Collection - - Collection - - Collection - - Collection - - Collection - Collection - Commentbox - CommentPages @@ -532,7 +524,6 @@ - GraphViz - GroupsSidebar - GuidedTour - - GuidedTour - GWToolset - HaloTripleStoreConnector - Hanp @@ -572,7 +563,6 @@ - Josa - JSBreadCrumbs - JsonConfig - - JsonData - JsonData - LabeledSectionTransclusion - LandingCheck @@ -700,9 +690,6 @@ - ParserFun - ParserFunctions - ParserHooks - - Parsoid - - Parsoid - - Parsoid - Parsoid - PartitionQuery - PDBHandler @@ -968,7 +955,6 @@ - WhoIsWatching - Widgets - WikiArticleFeeds - - Wikibase - Wikibase - WikibaseClient - WikibaseLib -- To view, visit https://gerrit.wikimedia.org/r/150179 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I8d58f6056bc344e840081705d23d78a1d0848526 Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins-job-builder-config Gerrit-Branch: master Gerrit-Owner: Zfilipin zfili...@wikimedia.org Gerrit-Reviewer: Cmcmahon cmcma...@wikimedia.org Gerrit-Reviewer: Hashar has...@free.fr Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
