jenkins-bot has submitted this change and it was merged.

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(-)

Approvals:
  EBernhardson: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/includes/specials/SpecialSearch.php 
b/includes/specials/SpecialSearch.php
index e9c4042..d0cb398 100644
--- a/includes/specials/SpecialSearch.php
+++ b/includes/specials/SpecialSearch.php
@@ -390,12 +390,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: merged
Gerrit-Change-Id: I52d9aacc1f396f42238318ae220266c7498b0824
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Deskana <[email protected]>
Gerrit-Reviewer: EBernhardson <[email protected]>
Gerrit-Reviewer: Manybubbles <[email protected]>
Gerrit-Reviewer: MaxSem <[email protected]>
Gerrit-Reviewer: Yurik <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to