Florianschmidtwelzow has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/227077

Change subject: Move pager inside searchresults div
......................................................................

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
---
M includes/specials/SpecialSearch.php
1 file changed, 2 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/77/227077/1

diff --git a/includes/specials/SpecialSearch.php 
b/includes/specials/SpecialSearch.php
index bc1bb3d..660831e 100644
--- a/includes/specials/SpecialSearch.php
+++ b/includes/specials/SpecialSearch.php
@@ -405,12 +405,13 @@
                                $this->showCreateLink( $title, $num, 
$titleMatches, $textMatches );
                        }
                }
-               $out->addHtml( "</div>" );
 
                if ( $prevnext ) {
                        $out->addHTML( "<p 
class='mw-search-pager-bottom'>{$prevnext}</p>\n" );
                }
 
+               $out->addHtml( "</div>" );
+
                Hooks::run( 'SpecialSearchResultsAppend', array( $this, $out ) 
);
 
        }

-- 
To view, visit https://gerrit.wikimedia.org/r/227077
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I52d9aacc1f396f42238318ae220266c7498b0824
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to