diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 13:29:22 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 13:29:22 +0100 |
commit | ca32f08966f1b51fcb19460f0996bb0c4048e6fe (patch) | |
tree | ec04cc15b867bc21eedca904cea9af0254531a11 /maintenance/updateDoubleWidthSearch.php | |
parent | a22fbfc60f36f5f7ee10d5ae6fe347340c2ee67c (diff) |
Update to MediaWiki 1.18.0
* also update ArchLinux skin to chagnes in MonoBook
* Use only css to hide our menu bar when printing
Diffstat (limited to 'maintenance/updateDoubleWidthSearch.php')
-rw-r--r-- | maintenance/updateDoubleWidthSearch.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/maintenance/updateDoubleWidthSearch.php b/maintenance/updateDoubleWidthSearch.php index bfbc441f..61545f8d 100644 --- a/maintenance/updateDoubleWidthSearch.php +++ b/maintenance/updateDoubleWidthSearch.php @@ -43,8 +43,7 @@ class UpdateDoubleWidthSearch extends Maintenance { $dbw = wfGetDB( DB_MASTER ); if ( $dbw->getType() !== 'mysql' ) { - $this->output( "This change is only needed on MySQL, quitting.\n" ); - exit( 1 ); + $this->error( "This change is only needed on MySQL, quitting.\n", true ); } $res = $this->findRows( $dbw ); |