jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373156 )
Change subject: Fix up 11f4a97ba6bcd0c1de ...................................................................... Fix up 11f4a97ba6bcd0c1de CategoryManager is a member variable. Also explicitly define the haveParserMigrationExt member variable too. Change-Id: I2aa77e5c1819a80ba18f67c0f65b2d47dbaa0303 --- M includes/LintErrorsPager.php 1 file changed, 6 insertions(+), 1 deletion(-) Approvals: Subramanya Sastry: Looks good to me, approved jenkins-bot: Verified diff --git a/includes/LintErrorsPager.php b/includes/LintErrorsPager.php index 5dc792d..068ef94 100644 --- a/includes/LintErrorsPager.php +++ b/includes/LintErrorsPager.php @@ -45,6 +45,11 @@ private $linkRenderer; /** + * @var bool + */ + private $haveParserMigrationExt; + + /** * @var int|null */ private $namespace; @@ -98,7 +103,7 @@ $row->linter_cat = $this->categoryId; $lintError = Database::makeLintError( $row ); if ( $this->haveParserMigrationExt && - $categoryManager->needsParserMigrationEdit( $name ) + $this->categoryManager->needsParserMigrationEdit( $name ) ) { $editAction = 'parsermigration-edit'; } else { -- To view, visit https://gerrit.wikimedia.org/r/373156 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2aa77e5c1819a80ba18f67c0f65b2d47dbaa0303 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Linter Gerrit-Branch: master Gerrit-Owner: Legoktm <lego...@member.fsf.org> Gerrit-Reviewer: Subramanya Sastry <ssas...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits