Merge "Remove searchlimit preference"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 8 Jan 2014 18:49:22 +0000 (18:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 8 Jan 2014 18:49:22 +0000 (18:49 +0000)
commit39572df35cca622b2a82ba5224ed14988a39acb6
treecd24debeeb0284acc968e9447c5f9a8c2da6c3ad
parent747b0d3fb80fa53d81735ad4e271f8e5c36df3e0
parentf5e7453f5ce96d14556674673c97a315010ab252
Merge "Remove searchlimit preference"
includes/specials/SpecialSearch.php