Move pager inside searchresults div
authorFlorian <florian.schmidt.stargatewissen@gmail.com>
Sun, 26 Jul 2015 14:03:07 +0000 (16:03 +0200)
committerFlorianschmidtwelzow <florian.schmidt.stargatewissen@gmail.com>
Thu, 6 Aug 2015 20:19:43 +0000 (20:19 +0000)
commite7082c04a18e3f9bd49a9ebcedfbb030e57ed973
treed658a4c699e4badc8eeeb8682bcee5c279043a9f
parent8e585877f2709d968ff8573b62b388fde8d85c03
Move pager inside searchresults div

The pager is part of the searchresults page, but can't be styled
easily like the searchresults div container, because it's outside
the container. The pager should be in one block element with the
serach results.

This enables (e.g. extensions) to add content to the right side
of the search result page without having the problem with a pager,
that can't easily moved with CSS.

Change-Id: I52d9aacc1f396f42238318ae220266c7498b0824
includes/specials/SpecialSearch.php