Raimond Spekking has submitted this change and it was merged. Change subject: [Echo] Add new optional key ......................................................................
[Echo] Add new optional key Change-Id: Ib1d3cb5e444bc7f4f565e9c0cf11da732331f2a8 --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Raimond Spekking: Verified; Looks good to me, approved diff --git a/groups/MediaWiki/mediawiki-extensions.txt b/groups/MediaWiki/mediawiki-extensions.txt index 302e358..e3d46dc 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -901,7 +901,7 @@ optional = echo-badge-count optional = echo-email-batch-separator, echo-email-batch-bullet, echo-quotation-marks optional = notification-body-edit-user-talk-with-section, notification-body-reverted -optional = echo-foreign-wiki-lang +optional = echo-foreign-wiki-lang, echo-specialpage-pagination-range ignored = echo-email-batch-separator, notification-welcome-link, notification-body-mention ignored = notification-body-emailuser, notification-body-user-rights ignored = notification-body-foreign -- To view, visit https://gerrit.wikimedia.org/r/292088 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib1d3cb5e444bc7f4f565e9c0cf11da732331f2a8 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Raimond Spekking <[email protected]> Gerrit-Reviewer: Raimond Spekking <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
