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

Merge "replaceAll.php: Replace get_class with instanceof"

Browse source
This commit is contained in:
jenkins-bot 2024-01-06 00:36:24 +00:00 committed by Gerrit Code Review
parent 48144bb804 a14f9f6b5b
commit e8c50add4e
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
maintenance/replaceAll.php
View file

@ -30,6 +30,7 @@
namespace MediaWiki\Extension\ReplaceText;
use Maintenance;
use MediaWiki\User\User;
use MWException;
$IP = getenv( 'MW_INSTALL_PATH' ) ?: __DIR__ . '/../../..';
@ -112,7 +113,7 @@ class ReplaceAll extends Maintenance {
$userFactory->newFromId( $userReplacing ) :
$userFactory->newFromName( $userReplacing );
if ( get_class( $user ) !== 'User' ) {
if ( !$user instanceof User ) {
$this->fatalError(
"Couldn't translate '$userReplacing' to a user."
);
@ -437,7 +438,7 @@ EOF;
$this->botEdit = true;
}
if ( !$this->getReply(
"Attribute changes to the user '{$this->user}'?$comment"
"Attribute changes to the user '{$this->user->getName()}'?$comment"
) ) {
return;
}