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

Fix up 11f4a97ba6

Browse source 
CategoryManager is a member variable. Also explicitly define the
haveParserMigrationExt member variable too.

Change-Id: I2aa77e5c1819a80ba18f67c0f65b2d47dbaa0303
This commit is contained in:
Kunal Mehta 2017-08-22 16:08:50 -07:00
parent 227dc9f1cc
commit 139a8aafea
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
includes/LintErrorsPager.php
View file

@ -44,6 +44,11 @@ class LintErrorsPager extends TablePager {
*/
private $linkRenderer;
/**
* @var bool
*/
private $haveParserMigrationExt;
/**
* @var int|null
*/
@ -98,7 +103,7 @@ class LintErrorsPager extends TablePager {
$row->linter_cat = $this->categoryId;
$lintError = Database::makeLintError( $row );
if ( $this->haveParserMigrationExt &&
$categoryManager->needsParserMigrationEdit( $name )
$this->categoryManager->needsParserMigrationEdit( $name )
) {
$editAction = 'parsermigration-edit';
} else {