diff options
| author | Chad Horohoe <chadh@wikimedia.org> | 2014-07-09 16:46:35 -0700 |
|---|---|---|
| committer | Chad Horohoe <chadh@wikimedia.org> | 2014-07-09 16:46:35 -0700 |
| commit | a4334bbef56fe9360741fda2bee100ac1e8aebed (patch) | |
| tree | 95c6ce36f6f94f3f56f73d6a09b99834380a5d93 /maintenance/update.php | |
| parent | 11c67100ba2b64f41d74acd98d1a10e1185f451d (diff) | |
| download | mediawikicore-a4334bbef56fe9360741fda2bee100ac1e8aebed.tar.gz mediawikicore-a4334bbef56fe9360741fda2bee100ac1e8aebed.zip | |
Use PHP_VERSION constant instead of phpversion() function call
Change-Id: Ifb3d1bd92d6abaa561e7337b311b4cb10c38a2b6
Diffstat (limited to 'maintenance/update.php')
| -rwxr-xr-x | maintenance/update.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/update.php b/maintenance/update.php index a51564aff3af..046d73cdced2 100755 --- a/maintenance/update.php +++ b/maintenance/update.php @@ -26,7 +26,7 @@ * @ingroup Maintenance */ -if ( !function_exists( 'version_compare' ) || ( version_compare( phpversion(), '5.3.2' ) < 0 ) ) { +if ( !function_exists( 'version_compare' ) || ( version_compare( PHP_VERSION, '5.3.2' ) < 0 ) ) { require dirname( __FILE__ ) . '/../includes/PHPVersionError.php'; wfPHPVersionError( 'cli' ); } |