Merge "EditPage: Allow the 'save' button's label to be 'publish' for public wikis"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 24 Aug 2016 00:17:38 +0000 (00:17 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 24 Aug 2016 00:17:38 +0000 (00:17 +0000)
commit47437e0653542aae57ea456b24486efb48ee8aac
tree31341565e1eff2aef80e56f9430b7516b8bafbc8
parent99dbf4e1d4d7f18e02935bdb8cd3be4413ffe729
parent74fa6071c2e5be4a182c4bf6863bee095ab0c03e
Merge "EditPage: Allow the 'save' button's label to be 'publish' for public wikis"
includes/DefaultSettings.php
includes/EditPage.php