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

Merge "LintErrorsPager: Set explicit output format on some messages"

Browse source
This commit is contained in:
jenkins-bot 2016-11-23 02:39:36 +00:00 committed by Gerrit Code Review
parent 98ec5c3388 d8437fc9c3
commit 78e7e8f8b8
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
includes/LintErrorsPager.php
View file

@ -130,13 +130,13 @@ class LintErrorsPager extends TablePager {
public function getFieldNames() { public function getFieldNames() {
$names = [ $names = [
'title' => $this->msg( 'linter-pager-title' ), 'title' => $this->msg( 'linter-pager-title' )->text(),
]; ];
if ( $this->category !== 'fostered' ) { if ( $this->category !== 'fostered' ) {
// TODO: don't hardcode list of stuff with no parameters...? // TODO: don't hardcode list of stuff with no parameters...?
$names['details'] = $this->msg( "linter-pager-{$this->category}-details" ); $names['details'] = $this->msg( "linter-pager-{$this->category}-details" )->text();
} }
$names['template'] = $this->msg( "linter-pager-template" ); $names['template'] = $this->msg( "linter-pager-template" )->text();
return $names; return $names;
} }
} }