Merge "Remove "Help/Project" profile from Special:Search"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 27 May 2014 18:54:09 +0000 (18:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 27 May 2014 18:54:09 +0000 (18:54 +0000)
commitae1a63e86233ed0b6a547f7a1d11af42cac987cb
treeaacbb1584094acb628ad0c6a6d54a350dbc09a5c
parentb941a11623ee1eac9418051a92cc679f41d99c44
parent1cb1ac62780fccce4cae529891391484c11cf5c4
Merge "Remove "Help/Project" profile from Special:Search"
includes/DefaultSettings.php
languages/i18n/en.json