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

Use OutputPage::setPageTitleMsg() instead of ::setPageTitle()

Browse source 
Bug: T343994
Change-Id: Icf148a1a9b10e568f48d0ef478f781d243a9345a
This commit is contained in:
Bartosz Dziewoński 2024-02-17 02:58:49 +01:00
parent ab45cafca7
commit 8fe89c1c35
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
includes/SpecialLintErrors.php
View file

@ -226,7 +226,7 @@ class SpecialLintErrors extends SpecialPage {
$titleSearch = $this->cleanTitle( $title, $namespaces );
if ( $titleSearch[ 'titlefield' ] !== null ) {
$out->setPageTitle( $this->msg( 'linter-prefix-search-subpage', $titleSearch[ 'titlefield' ] ) );
$out->setPageTitleMsg( $this->msg( 'linter-prefix-search-subpage', $titleSearch[ 'titlefield' ] ) );
$catManager = new CategoryManager();
$pager = new LintErrorsPager(
@ -250,7 +250,7 @@ class SpecialLintErrors extends SpecialPage {
$this->showCategoryListings( $catManager );
} else {
$this->addHelpLink( "Help:Extension:Linter/{$this->category}" );
$out->setPageTitle(
$out->setPageTitleMsg(
$this->msg( 'linterrors-subpage',
$this->msg( "linter-category-{$this->category}" )->text()
)