From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Thu, 27 Jul 2017 18:08:22 +0000 (+0000)
Subject: Merge "Changing interwiki results header from <p> to <h2>"
X-Git-Tag: 1.31.0-rc.0~2568
X-Git-Url: http://git.heureux-cyclage.org/?a=commitdiff_plain;h=2a1b1880eaadd4c35bc789870a45e45f14ffdb26;hp=133f2e99e7e78f329a913b912f66ffc5879ce39a;p=lhc%2Fweb%2Fwiklou.git

Merge "Changing interwiki results header from <p> to <h2>"
---

diff --git a/includes/widget/search/BasicSearchResultSetWidget.php b/includes/widget/search/BasicSearchResultSetWidget.php
index 07094afca6..bf59fe9e48 100644
--- a/includes/widget/search/BasicSearchResultSetWidget.php
+++ b/includes/widget/search/BasicSearchResultSetWidget.php
@@ -79,9 +79,9 @@ class BasicSearchResultSetWidget {
 					continue;
 				}
 				$out .=
-					"<p class='mw-search-interwiki-header mw-search-visualclear'>" .
+					"<h2 class='mw-search-interwiki-header mw-search-visualclear'>" .
 						$this->specialPage->msg( "search-interwiki-results-{$interwiki}" )->parse() .
-					"</p>";
+					"</h2>";
 				$out .= $this->renderResultSet( $results, $offset );
 			}
 		}
diff --git a/resources/src/mediawiki.special/mediawiki.special.search.styles.css b/resources/src/mediawiki.special/mediawiki.special.search.styles.css
index 72ede9769c..3b9893642c 100644
--- a/resources/src/mediawiki.special/mediawiki.special.search.styles.css
+++ b/resources/src/mediawiki.special/mediawiki.special.search.styles.css
@@ -21,14 +21,11 @@
 .mw-body .mw-search-nonefound {
 	margin: 0;
 }
-.mw-search-interwiki-header,
+
 .searchdidyoumean em,
 .searchmatch {
 	font-weight: bold;
 }
-.mw-search-nonefound + .mw-search-interwiki-header {
-	margin-top: 0;
-}
 
 .mw-search-results {
 	margin: 0;