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

Change subject: Add Capiunto to the extension list
......................................................................


Add Capiunto to the extension list

Bug: T126399
Change-Id: Ied8fde7380f40e0d8ef4bd16d069a391fb4418c7
---
M wmf-config/extension-list
1 file changed, 1 insertion(+), 0 deletions(-)

Approvals:
  Hoo man: Looks good to me, approved
  Aude: Looks good to me, but someone else must approve
  jenkins-bot: Verified



diff --git a/wmf-config/extension-list b/wmf-config/extension-list
index 5d4bd6c..bd26f54 100644
--- a/wmf-config/extension-list
+++ b/wmf-config/extension-list
@@ -7,6 +7,7 @@
 $IP/extensions/BounceHandler/BounceHandler.php
 $IP/extensions/Calendar/extension.json
 $IP/extensions/Campaigns/Campaigns.php
+$IP/extensions/Capiunto/Capiunto.php
 $IP/extensions/Cards/extension.json
 $IP/extensions/CategoryTree/CategoryTree.php
 $IP/extensions/CentralAuth/CentralAuth.php

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ied8fde7380f40e0d8ef4bd16d069a391fb4418c7
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Hoo man <[email protected]>
Gerrit-Reviewer: Aude <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Hoo man <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

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

Reply via email to