wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-13 17:57:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Remove unneeded phan suppression

Browse source 
Bug: T290624
Change-Id: Ie0209c72863aae8ac020a09e625f0c4613decca5
This commit is contained in:
Umherirrender 2022-02-11 20:57:34 +01:00
parent a104e97882
commit f21d2a5088
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
includes/DiscussionParser.php
View file

@ -176,7 +176,6 @@ abstract class EchoDiscussionParser {
* @param array[] $interpretation Results of {@see getChangeInterpretationForRevision} * @param array[] $interpretation Results of {@see getChangeInterpretationForRevision}
* @param Title|null $title * @param Title|null $title
* @return string[] Array containing section title and text * @return string[] Array containing section title and text
* @suppress SecurityCheck-DoubleEscaped
*/ */
public static function detectSectionTitleAndText( array $interpretation, Title $title = null ) { public static function detectSectionTitleAndText( array $interpretation, Title $title = null ) {
$header = $snippet = ''; $header = $snippet = '';