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

Add a title for single page view

Browse source 
Follow up to I70fde2676ded6a112f7f2b07f94f6f4b616f0e39

Bug: T151362
Change-Id: I21b8b9085f13480075e0b572f38ec9a05a398f01
This commit is contained in:
Arlo Breault 2022-01-10 15:16:04 -05:00
parent 31bc33b578
commit f821fa7f47
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
includes/SpecialLintErrors.php
View file

@ -96,6 +96,7 @@ class SpecialLintErrors extends SpecialPage {
$pageName = $params['pagename'] ?? null;
if ( $par === null && $pageName !== null ) {
$out = $this->getOutput();
$out->setPageTitle( $this->msg( 'linterrors-subpage', $pageName ) );
$title = Title::newFromText( $pageName );
if ( $title !== null ) {