diff options
Diffstat (limited to 'maintenance/moveBatch.php')
| -rw-r--r-- | maintenance/moveBatch.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/maintenance/moveBatch.php b/maintenance/moveBatch.php index d578a4964273..fa25a06cca01 100644 --- a/maintenance/moveBatch.php +++ b/maintenance/moveBatch.php @@ -73,7 +73,7 @@ class MoveBatch extends Maintenance { # Setup if ( !$file ) { - $this->error( "Unable to read file, exiting", true ); + $this->fatalError( "Unable to read file, exiting" ); } if ( $user === false ) { $wgUser = User::newSystemUser( 'Move page script', [ 'steal' => true ] ); @@ -81,7 +81,7 @@ class MoveBatch extends Maintenance { $wgUser = User::newFromName( $user ); } if ( !$wgUser ) { - $this->error( "Invalid username", true ); + $this->fatalError( "Invalid username" ); } # Setup complete, now start |