From 9d052931aca58d7a22a44b128a47b2120ec9139b Mon Sep 17 00:00:00 2001 From: Platonides Date: Sun, 1 Aug 2010 18:05:50 +0000 Subject: [PATCH] Replace echo + die with die() --- maintenance/Maintenance.php | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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(); } /** -- 2.20.1