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

Update lint category help links

Browse source 
Bug: T360793
Change-Id: I4a7b0d0200d2af5c6768db91d0883c7fc483d8dc
This commit is contained in:
Arlo Breault 2024-03-22 14:13:25 -04:00
parent d5fd2cd7d1
commit c90267575c
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

@ -249,7 +249,7 @@ class SpecialLintErrors extends SpecialPage {
$this->addHelpLink( 'Help:Extension:Linter' );
$this->showCategoryListings( $catManager );
} else {
$this->addHelpLink( "Help:Extension:Linter/{$this->category}" );
$this->addHelpLink( "Help:Lint_errors/{$this->category}" );
$out->setPageTitleMsg(
$this->msg( 'linterrors-subpage',
$this->msg( "linter-category-{$this->category}" )->text()