Merge "Remove undocumented and unused searchx parameter"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 13 Feb 2014 00:33:30 +0000 (00:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 13 Feb 2014 00:33:30 +0000 (00:33 +0000)
commita66ba3e0d55c079e4756c90458d8aa82ba67ad56
treecf75d0083bf5b22acb67aa2916a3de67b78d81e8
parent02df705dd8b152d7310d08ed8f9bdd95e1948d64
parentab1c93ad2c577d405bccef4abf99e94e01b095a1
Merge "Remove undocumented and unused searchx parameter"
includes/specials/SpecialSearch.php