diff options
| author | Bryan Davis <bd808@wikimedia.org> | 2017-11-19 17:36:54 -0700 |
|---|---|---|
| committer | Bryan Davis <bd808@wikimedia.org> | 2017-11-21 21:34:16 -0700 |
| commit | 9e34eeff23fdd46a8e9bddfbab39d45eab232827 (patch) | |
| tree | 8bc5d4bdd2efc8ce68d2c605f10f1bfa7d88de3a /maintenance/deleteBatch.php | |
| parent | 708e8e9dee4523997a2dfe73e312db18725e782b (diff) | |
| download | mediawikicore-9e34eeff23fdd46a8e9bddfbab39d45eab232827.tar.gz mediawikicore-9e34eeff23fdd46a8e9bddfbab39d45eab232827.zip | |
Maintenance: add fatalError() method
Deprecate the second argument to Maintenance::error() in favor of a new
Maintenance::fatalError() method. This is intended to make it easier to
review flow control in maintenance scripts.
Change-Id: I75699008638f7e99b11210c7bb9e2e131fca7c9e
Diffstat (limited to 'maintenance/deleteBatch.php')
| -rw-r--r-- | maintenance/deleteBatch.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/maintenance/deleteBatch.php b/maintenance/deleteBatch.php index 0020446b4165..eceadc11119c 100644 --- a/maintenance/deleteBatch.php +++ b/maintenance/deleteBatch.php @@ -65,7 +65,7 @@ class DeleteBatch extends Maintenance { $user = User::newFromName( $username ); } if ( !$user ) { - $this->error( "Invalid username", true ); + $this->fatalError( "Invalid username" ); } $wgUser = $user; @@ -77,7 +77,7 @@ class DeleteBatch extends Maintenance { # Setup if ( !$file ) { - $this->error( "Unable to read file, exiting", true ); + $this->fatalError( "Unable to read file, exiting" ); } $dbw = $this->getDB( DB_MASTER ); |