Raimond Spekking has submitted this change and it was merged. Change subject: [Echo] Add new key to ignore ......................................................................
[Echo] Add new key to ignore https://gerrit.wikimedia.org/r/#/c/269734/ Change-Id: I478fd93e0ada6ee3a0cb3cfa37c3c6e14d0a72f7 --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Raimond Spekking: Verified; Looks good to me, approved diff --git a/groups/MediaWiki/mediawiki-extensions.txt b/groups/MediaWiki/mediawiki-extensions.txt index 2edbd83..682bdc9 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -889,6 +889,7 @@ optional = echo-email-batch-separator, echo-email-batch-bullet, echo-quotation-marks optional = notification-body-edit-user-talk-with-section, notification-body-reverted ignored = echo-email-batch-separator, notification-welcome-link, notification-body-mention +ignored = notification-body-email-user # Incomplete message documentation file - 2014-11-20 #Edit Account -- To view, visit https://gerrit.wikimedia.org/r/269822 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I478fd93e0ada6ee3a0cb3cfa37c3c6e14d0a72f7 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Raimond Spekking <raimond.spekk...@gmail.com> Gerrit-Reviewer: Raimond Spekking <raimond.spekk...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits