Rename EditButtonPublishNotSave to EditSubmitButtonLabelPublish
authorJames D. Forrester <jforrester@wikimedia.org>
Mon, 29 Aug 2016 17:44:44 +0000 (10:44 -0700)
committerJames D. Forrester <jforrester@wikimedia.org>
Mon, 29 Aug 2016 17:55:11 +0000 (10:55 -0700)
commit4c9e3b3751dd94c7ab3100a49ef521ecd9f177af
tree79066d3825194e5e9793304e6d0fae18e7ae1807
parent1fbb5fcaa7bfb6d38d24ee0ae64439e43423e023
Rename EditButtonPublishNotSave to EditSubmitButtonLabelPublish

Per legoktm.

Change-Id: I4fbe54876095378a476399bf5e336c8df3e91e14
RELEASE-NOTES-1.28
includes/DefaultSettings.php
includes/EditPage.php