From 8bb70603ee2816feaf3b7b9dd556c79e6b81f29f Mon Sep 17 00:00:00 2001 From: Sam Reed Date: Wed, 16 Mar 2011 22:43:17 +0000 Subject: [PATCH] Less hardcoding... --- maintenance/Maintenance.php | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/maintenance/Maintenance.php b/maintenance/Maintenance.php index 1d892d0431..9c10547b3a 100644 --- a/maintenance/Maintenance.php +++ b/maintenance/Maintenance.php @@ -27,10 +27,10 @@ define( 'DO_MAINTENANCE', RUN_MAINTENANCE_IF_MAIN ); // original name, harmless $maintClass = false; // Make sure we're on PHP5 or better -if ( version_compare( PHP_VERSION, '5.1.0' ) < 0 ) { - die ( "Sorry! This version of MediaWiki requires PHP 5.1.x; you are running " . +if ( version_compare( PHP_VERSION, Installer::MINIMUM_PHP_VERSION ) < 0 ) { + die ( "Sorry! This version of MediaWiki requires PHP " . Installer::MINIMUM_PHP_VERSION . "; you are running " . PHP_VERSION . ".\n\n" . - "If you are sure you already have PHP 5.1.x or higher installed, it may be\n" . + "If you are sure you already have PHP " . Installer::MINIMUM_PHP_VERSION . " or higher installed, it may be\n" . "installed in a different path from PHP " . PHP_VERSION . ". Check with your system\n" . "administrator.\n" ); } -- 2.20.1