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

Parse linter-category-{name}-desc messages

Browse source 
Bug: T177429
Change-Id: I3f36b27fee877122d3df3c68b3aa9515412f6869
This commit is contained in:
Kunal Mehta 2017-10-04 20:16:26 -07:00
parent ab6ec28acf
commit 5416525735
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/SpecialLintErrors.php
View file

@ -47,7 +47,7 @@ class SpecialLintErrors extends SpecialPage {
];
$form = HTMLForm::factory( 'ooui', $fields, $this->getContext() );
$form->setWrapperLegend( true );
$form->addHeaderText( $this->msg( "linter-category-{$this->category}-desc" )->escaped() );
$form->addHeaderText( $this->msg( "linter-category-{$this->category}-desc" )->parse() );
$form->setMethod( 'get' );
$form->prepareForm()->displayForm( false );
}