X-Git-Url: http://git.cyclocoop.org/?a=blobdiff_plain;f=maintenance%2Fupdate.php;h=f69a9b0dae7481217f7e3b97168593fc145ffc81;hb=cf0872c783946242698bfaf9bd134d503fc393fc;hp=159b6b774afa4fcef3b14e85c7bce34488c943e5;hpb=e439cfb1b1dd71417162e23174554e1148707bd6;p=lhc%2Fweb%2Fwiklou.git

diff --git a/maintenance/update.php b/maintenance/update.php
index 159b6b774a..f69a9b0dae 100644
--- a/maintenance/update.php
+++ b/maintenance/update.php
@@ -26,9 +26,8 @@
  */
 
 if ( !function_exists( 'version_compare' ) || ( version_compare( phpversion(), '5.3.2' ) < 0 ) ) {
-	echo "You are using PHP version " . phpversion() . " but MediaWiki needs PHP 5.3.2 or higher. ABORTING.\n" .
-	"Check if you have a newer php executable with a different name, such as php5.\n";
-	die( 1 );
+	require( dirname( __FILE__ ) . '/../includes/PHPVersionError.php' );
+	wfPHPVersionError( 'cli' );
 }
 
 $wgUseMasterForMaintenance = true;