Merge "Remove the showjumplinks user preference"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 2 Aug 2013 17:23:59 +0000 (17:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 2 Aug 2013 17:23:59 +0000 (17:23 +0000)
commit9ff819b8b7764101367432c9f9419b893aee97aa
treee924104cf3e897a6eca4fc048bcaecc96ea76cb0
parenta1185f6e2a47e8734b7b913c52f5517a1ce5a97f
parent13b1a9f83267ced23f59c853314fcc98b1ae6db6
Merge "Remove the showjumplinks user preference"
RELEASE-NOTES-1.22
includes/DefaultSettings.php
languages/messages/MessagesEn.php
maintenance/language/messages.inc