[MediaWiki-commits] [Gerrit] Deleted duplicated lines with extension names - change (integration/jenkins-job-builder-config)

[Zfilipin (Code Review)]

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