Merge "postEdit: Show a different success messsage on publish vs. save wikis"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 Jan 2018 19:44:06 +0000 (19:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 Jan 2018 19:44:06 +0000 (19:44 +0000)
commit526341516a91502ac7cfd2e5590e7432b3f50c5d
tree6c30d2387757c2d6ce36058e3d510ed1331b35a6
parentfdb07d74e63ed3f0c09e548ae43b23b147bb54e6
parent56b427c9839833cdbd53f024e0b2819acc797b90
Merge "postEdit: Show a different success messsage on publish vs. save wikis"
includes/EditPage.php
languages/i18n/en.json
languages/i18n/qqq.json
resources/Resources.php