Merge "EditPage: Fix passing the save/publish button label to other messages"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 May 2017 17:48:17 +0000 (17:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 May 2017 17:48:18 +0000 (17:48 +0000)

Trivial merge