jenkins-bot has submitted this change and it was merged.

Change subject: [Collection] The aggregate group for Collection extension is no 
more
......................................................................


[Collection] The aggregate group for Collection extension is no more

Just include the standard one in the aggregate. Collection is very
user-facing, should maybe added to Wikimedia main in followup.

<https://translatewiki.net/wiki/Thread:Support/The_Collection_extension_not_listed_under_%E2%80%9CExtensions_used_by_Wikimedia%E2%80%9D>

Change-Id: I7b1529786df132680529b475f6db707c672724f1
---
M groups/MediaWiki/WikimediaAgg.yaml
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Raimond Spekking: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/groups/MediaWiki/WikimediaAgg.yaml 
b/groups/MediaWiki/WikimediaAgg.yaml
index d20be30..3d59da5 100644
--- a/groups/MediaWiki/WikimediaAgg.yaml
+++ b/groups/MediaWiki/WikimediaAgg.yaml
@@ -21,7 +21,7 @@
   - ext-cldr # r88299 on all wikis
   - ext-codeeditor # Change-Id: e4e8857a55b0a89707525ecdd9dff54a4cc02f6d
   - ext-codereview # MediaWiki.org
-  - ext-collection-0-all
+  - ext-collection
   - ext-commonsmetadata # Change id ecfa294d4b158aa5c44c166fa883d8ceef7d357d
   - ext-contactpage # on nl.wp and wikimediafoundation.org
   - ext-contributionreporting # wikimediafoundation.org

-- 
To view, visit https://gerrit.wikimedia.org/r/145995
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I7b1529786df132680529b475f6db707c672724f1
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Nemo bis <[email protected]>
Gerrit-Reviewer: Raimond Spekking <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to