diff options
Diffstat (limited to 'maintenance/pageExists.php')
| -rw-r--r-- | maintenance/pageExists.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/pageExists.php b/maintenance/pageExists.php index b631005f5f88..24ec8cb83999 100644 --- a/maintenance/pageExists.php +++ b/maintenance/pageExists.php @@ -45,7 +45,7 @@ class PageExists extends Maintenance { $code = 1; } $this->output( $text ); - $this->error( '', $code ); + exit( $code ); } } |