From f5afe60decb5bb7be4e3cc69b50c1adeaf9ce3ed Mon Sep 17 00:00:00 2001
From: Jan Drewniak <jan.drewniak@gmail.com>
Date: Mon, 24 Jul 2017 17:44:02 +0200
Subject: [PATCH] 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
---
 includes/widget/search/BasicSearchResultSetWidget.php        | 4 ++--
 .../mediawiki.special/mediawiki.special.search.styles.css    | 5 +----
 2 files changed, 3 insertions(+), 6 deletions(-)

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;
-- 
2.20.1