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

Separate linter-numerrors bidi from rest of the line

Browse source 
Change-Id: I63a06cdd051f47b6c43ccc4f5f8ae13521b994f6
This commit is contained in:
Ebrahim Byagowi 2017-04-14 08:43:37 +00:00 committed by Legoktm
parent 944ff09038
commit 8302db893f
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
includes/SpecialLintErrors.php
View file

@ -82,7 +82,9 @@ class SpecialLintErrors extends SpecialPage {
$html .= Html::rawElement( 'li', [], $linkRenderer->makeKnownLink(
$this->getPageTitle( $cat ),
$this->msg( "linter-category-$cat" )->text()
) . ' ' . $this->msg( "linter-numerrors" )->numParams( $totals[$cat] )->escaped() ) . "\n";
) . ' ' . Html::element( 'bdi', [],
$this->msg( "linter-numerrors" )->numParams( $totals[$cat] )->text()
) ) . "\n";
}
$html .= Html::closeElement( 'ul' );