Merge "Removed "Disable search suggestions" from Mediawiki Preference"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 5 Dec 2013 21:55:22 +0000 (21:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 5 Dec 2013 21:55:22 +0000 (21:55 +0000)
commit153bd8f5e01103baecb098e382799df8c25176f5
tree4b746e5b938ed379ff0c440ed74cca72c6920d93
parent5531631535abda3403f9efdba18450c9b8042154
parent3d17f0dabf8d050ef763711acfc2d812fbb1c8b0
Merge "Removed "Disable search suggestions" from Mediawiki Preference"
languages/messages/MessagesEn.php
maintenance/language/messages.inc