From: Platonides <platonides@users.mediawiki.org>
Date: Sun, 1 Aug 2010 18:05:50 +0000 (+0000)
Subject: Replace echo + die with die()
X-Git-Tag: 1.31.0-rc.0~35797
X-Git-Url: http://git.cyclocoop.org/wiki/Target_page?a=commitdiff_plain;h=9d052931aca58d7a22a44b128a47b2120ec9139b;p=lhc%2Fweb%2Fwiklou.git

Replace echo + die with die()
---

diff --git a/maintenance/Maintenance.php b/maintenance/Maintenance.php
index d57bfc8b25..4fcbc44631 100644
--- a/maintenance/Maintenance.php
+++ b/maintenance/Maintenance.php
@@ -11,11 +11,10 @@ $maintClass = false;
 
 // Make sure we're on PHP5 or better
 if ( version_compare( PHP_VERSION, '5.0.0' ) < 0 ) {
-	echo( "Sorry! This version of MediaWiki requires PHP 5; you are running " .
+	die ( "Sorry! This version of MediaWiki requires PHP 5; you are running " .
 		PHP_VERSION . ".\n\n" .
 		"If you are sure you already have PHP 5 installed, it may be installed\n" .
 		"in a different path from PHP 4. Check with your system administrator.\n" );
-	die();
 }
 
 /**