Merge "Remove "include redirects" option from search"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 26 Mar 2014 16:45:30 +0000 (16:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 26 Mar 2014 16:45:30 +0000 (16:45 +0000)
commite3825282d11dbbf86d3e4a963cc0b7f1b4d7ed25
tree7125976c31a2baa268b34970e5d3e3a06da1eb4b
parent762fca8bf99445d42b533560b3cfaf8331f3fe38
parent7e8c48ac3d11cff93c48b9c380897019eda225bd
Merge "Remove "include redirects" option from search"
RELEASE-NOTES-1.23
includes/specials/SpecialSearch.php