Clean up search results if scrolled of the end
authorNik Everett <neverett@wikimedia.org>
Tue, 29 Jul 2014 16:54:40 +0000 (12:54 -0400)
committerNik Everett <neverett@wikimedia.org>
Tue, 29 Jul 2014 16:54:40 +0000 (12:54 -0400)
commitc7879f5db21bfd4028e92264a4c3196592365c48
tree6d88bb6d7ae066d6773146fc75b2993f36c4e502
parent3d589305dec18a885e10bd7e747aa040c9dbc016
Clean up search results if scrolled of the end

If the user ends up off the end of the search results then show them a
slightly more sane page:  no more showing results 50 - 20 of 20.

Bug: 68783
Change-Id: I29354e15873054278be18d74b2355b83b86f35f3
includes/specials/SpecialSearch.php