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

Merge "Fix user existence problem"

Browse source
This commit is contained in:
jenkins-bot 2024-01-11 18:08:15 +00:00 committed by Gerrit Code Review
parent 8bcb3df34b 6a484ebd0a
commit bce8f7501f
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/Job.php
View file

@ -53,6 +53,11 @@ class Job extends JobParent {
$services = MediaWikiServices::getInstance(); $services = MediaWikiServices::getInstance();
// T279090 // T279090
$current_user = $services->getUserFactory()->newFromId( $this->params['user_id'] ); $current_user = $services->getUserFactory()->newFromId( $this->params['user_id'] );
if ( !$current_user->isRegistered() ) {
$this->error = 'replacetext: the user ID ' . $this->params['user_id'] .
' does not belong to a registered user.';
return false;
}
$permissionManager = $services->getPermissionManager(); $permissionManager = $services->getPermissionManager();
if ( !$permissionManager->userCan( if ( !$permissionManager->userCan(
'replacetext', $current_user, $this->title 'replacetext', $current_user, $this->title