diff options
Diffstat (limited to 'maintenance/update.php')
| -rw-r--r-- | maintenance/update.php | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/maintenance/update.php b/maintenance/update.php index c4bf3b22..877f1366 100644 --- a/maintenance/update.php +++ b/maintenance/update.php @@ -25,15 +25,20 @@ * @ingroup Maintenance */ -if ( !function_exists( 'version_compare' ) || ( version_compare( phpversion(), '5.2.3' ) < 0 ) ) { - echo "You are using PHP version " . phpversion() . " but MediaWiki needs PHP 5.2.3 or higher. ABORTING.\n" . +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 ); } $wgUseMasterForMaintenance = true; -require_once( dirname( __FILE__ ) . '/Maintenance.php' ); +require_once( __DIR__ . '/Maintenance.php' ); +/** + * Maintenance script to run database schema updates. + * + * @ingroup Maintenance + */ class UpdateMediaWiki extends Maintenance { function __construct() { |