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

Use OutputPage::setPageTitleMsg to set page title message

Browse source 
Change-Id: I3b887050ae6979cbe825aab712540a71cb61a167
This commit is contained in:
Fomafix 2024-06-13 13:35:51 +00:00
parent cd62fad03b
commit 4ee416b6a9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/SpecialReplaceText.php
View file

@ -184,7 +184,7 @@ class SpecialReplaceText extends SpecialPage {
if ( $this->readOnlyMode->isReadOnly() ) {
$permissionErrors = [ [ 'readonlytext', [ $this->readOnlyMode->getReason() ] ] ];
$out->setPageTitle( $this->msg( 'badaccess' )->text() );
$out->setPageTitleMsg( $this->msg( 'badaccess' ) );
$out->addWikiTextAsInterface( $out->formatPermissionsErrorMessage( $permissionErrors, 'replacetext' ) );
return;
}