Merge "search: did you mean should always go to SERP"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 23 Jun 2016 15:22:24 +0000 (15:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 23 Jun 2016 15:22:25 +0000 (15:22 +0000)
commitd5ff621d43b195c41c141288fb8d2b05793b55f4
treeaa5687467ab98baa03fe970b1dae77c4e6ce961f
parente7ecb12d5dd4cb9ce691430f340730df97a94d98
parent3d3ad9083476953db08f41048460d87813c3db85
Merge "search: did you mean should always go to SERP"
includes/specials/SpecialSearch.php