From: Jan Drewniak <jan.drewniak@gmail.com>
Date: Mon, 24 Jul 2017 15:44:02 +0000 (+0200)
Subject: Changing interwiki results header from <p> to <h2>
X-Git-Tag: 1.31.0-rc.0~2568^2
X-Git-Url: http://git.cyclocoop.org/%28?a=commitdiff_plain;h=f5afe60decb5bb7be4e3cc69b50c1adeaf9ce3ed;p=lhc%2Fweb%2Fwiklou.git

Changing interwiki results header from <p> to <h2>

Makes the header on interwiki results
(results from different languages on Special:Search)
bigger.

Bug: T146655
Change-Id: I10ea6f85f97b4c8a5e585b2b1090af68054cbe2c
---

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;