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 /mw-config/index.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 'mw-config/index.php')
| -rw-r--r-- | mw-config/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mw-config/index.php b/mw-config/index.php index 9e83c5464478..be176c7204d5 100644 --- a/mw-config/index.php +++ b/mw-config/index.php @@ -21,7 +21,7 @@ */ // Bail if PHP is too low -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 ) { // We need to use dirname( __FILE__ ) here cause __DIR__ is PHP5.3+ require dirname( dirname( __FILE__ ) ) . '/includes/PHPVersionError.php'; wfPHPVersionError( 'mw-config/index.php' ); |