Merge "Remove unused messages 'protectedpagestext' and 'protectedtitlestext'"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 5 Dec 2013 19:16:55 +0000 (19:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 5 Dec 2013 19:16:55 +0000 (19:16 +0000)
commit98cf03df7777da3f8162ef704c1acc9e3b6395a7
tree21d46a99a5aac39a171fefbe897d63e3cbeecdd9
parentef109fa9289df5f4c38721d970484c81fdb9e27e
parent7cdeb9e3345671791038a40afeafe822363cd116
Merge "Remove unused messages 'protectedpagestext' and 'protectedtitlestext'"
languages/messages/MessagesEn.php
maintenance/language/messages.inc