Merge "Remove unused private var and fix phpdoc"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 22 Aug 2014 23:32:30 +0000 (23:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 22 Aug 2014 23:32:30 +0000 (23:32 +0000)
commit25505f7839cf91dd8c7f3cc6f98f8f7de78e3abe
treecfb39e63eff3f0b328084c30c48feec443c07333
parentf5916c2626b72497b4b56dbe7f9cd8f5d86a01fd
parent0215a5e0f0155820bd3add076069e6d524fd5c95
Merge "Remove unused private var and fix phpdoc"
tests/phpunit/includes/specials/SpecialSearchTest.php