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

Change subject: Add 2ColConflict and ElectronPdfService extensions
......................................................................


Add 2ColConflict and ElectronPdfService extensions

Should be reported to #wikimedia-de-tech channel

Change-Id: Ic44a726e0c09a27c4e4bb2ad7004b469bf484198
---
M config.yaml
1 file changed, 2 insertions(+), 0 deletions(-)

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



diff --git a/config.yaml b/config.yaml
index 8e78dee..995ef8a 100644
--- a/config.yaml
+++ b/config.yaml
@@ -169,6 +169,8 @@
     "#wikimedia-de-tech":
         analytics/wmde/.*:
         mediawiki/extensions/Cognate:
+        mediawiki/extensions/2ColConflict:
+        mediawiki/extensions/ElectronPdfService:
         mediawiki/extensions/RevisionSlider:
     "#wikimedia-multimedia":
         mediawiki/extensions/CommonsMetadata.*:

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic44a726e0c09a27c4e4bb2ad7004b469bf484198
Gerrit-PatchSet: 1
Gerrit-Project: labs/tools/grrrit
Gerrit-Branch: master
Gerrit-Owner: Tobias Gritschacher <tobias.gritschac...@wikimedia.de>
Gerrit-Reviewer: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: Merlijn van Deen <valhall...@arctus.nl>
Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to