Merge "Add support for extentions to change Special:Mute form"
authorDbarratt <dbarratt@wikimedia.org>
Thu, 18 Jul 2019 15:39:09 +0000 (15:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 18 Jul 2019 15:39:09 +0000 (15:39 +0000)

Trivial merge