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

Change subject: Adding Petition extension as a WMF extension
......................................................................


Adding Petition extension as a WMF extension

Change-Id: If27c8582d937fa75eb22e3a145580985bc5ccf0c
---
M make-wmf-branch/default.conf
1 file changed, 1 insertion(+), 0 deletions(-)

Approvals:
  Reedy: Looks good to me, approved
  Mwalker: Looks good to me, but someone else must approve
  jenkins-bot: Verified



diff --git a/make-wmf-branch/default.conf b/make-wmf-branch/default.conf
index 4b3f62a..dbf2f64 100644
--- a/make-wmf-branch/default.conf
+++ b/make-wmf-branch/default.conf
@@ -99,6 +99,7 @@
        'ParserFunctions',
        'Parsoid',
        'PdfHandler',
+       'Petition',
        'Poem',
        'PoolCounter',
        'Popups',

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

Gerrit-MessageType: merged
Gerrit-Change-Id: If27c8582d937fa75eb22e3a145580985bc5ccf0c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Mwalker <mwal...@wikimedia.org>
Gerrit-Reviewer: Mwalker <mwal...@wikimedia.org>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
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