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

Change subject: Remove EditPageTracking extension
......................................................................


Remove EditPageTracking extension

Followup to Idcb034791ade61fc5268675945a6c9d4d4864dba

Change-Id: If8d0df6bde84db0f23e81a3a849da9092fc7d3e4
---
M make-wmf-branch/default.conf
1 file changed, 0 insertions(+), 1 deletion(-)

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



diff --git a/make-wmf-branch/default.conf b/make-wmf-branch/default.conf
index b305b48..8d2e6a9 100644
--- a/make-wmf-branch/default.conf
+++ b/make-wmf-branch/default.conf
@@ -46,7 +46,6 @@
        'DoubleWiki',
        'DynamicSidebar',
        'Echo',
-       'EditPageTracking',
        'EducationProgram',
        'Elastica',
        'EmailCapture',

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

Gerrit-MessageType: merged
Gerrit-Change-Id: If8d0df6bde84db0f23e81a3a849da9092fc7d3e4
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Nemo bis <federicol...@tiscali.it>
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