Merge "Clean up search results if scrolled of the end"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 29 Jul 2014 20:34:10 +0000 (20:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 29 Jul 2014 20:34:10 +0000 (20:34 +0000)
commitf495838adff633c198f8c8a7a4690da499bfa96c
treef1226ad66a78354b2df03d86c901f41fde4eefee
parent8d467827e34b9091f6bec98c108af105d2de050e
parentc7879f5db21bfd4028e92264a4c3196592365c48
Merge "Clean up search results if scrolled of the end"
includes/specials/SpecialSearch.php