From 758caf7f932f8690338faead250d01e8593edc7d Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Sat, 1 Dec 2018 09:47:28 +0100
Subject: [PATCH] Remove unused parameter

Found by PHPStan.

Change-Id: I8ed0561c18e2af4ee146123b534a864d5ab7f975
---
 languages/Language.php | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/languages/Language.php b/languages/Language.php
index aa287e926a..50963b027f 100644
--- a/languages/Language.php
+++ b/languages/Language.php
@@ -4241,12 +4241,11 @@ class Language {
 	/**
 	 * Perform output conversion on a string, and encode for safe HTML output.
 	 * @param string $text Text to be converted
-	 * @param bool $isTitle Whether this conversion is for the article title
 	 * @return string
 	 * @todo this should get integrated somewhere sane
 	 */
-	public function convertHtml( $text, $isTitle = false ) {
-		return htmlspecialchars( $this->convert( $text, $isTitle ) );
+	public function convertHtml( $text ) {
+		return htmlspecialchars( $this->convert( $text ) );
 	}
 
 	/**
-- 
2.20.1