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

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

Browse source
This commit is contained in:
jenkins-bot 2024-02-17 02:36:03 +00:00 committed by Gerrit Code Review
parent fa24bc16e1 8fe89c1c35
commit c1cf86af3b
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()
)