diff options
author | Dimitar Dimitrov <[email protected]> | 2013-03-15 23:47:53 +0100 |
---|---|---|
committer | Dimitar Dimitrov <[email protected]> | 2013-03-15 23:47:53 +0100 |
commit | 737ef4dcc25f73daa3200dd7e53ef47161a104db (patch) | |
tree | d8806e57c9e331c6b8a7d7b28338c117c97fc1d9 /include/sanity_check.php | |
parent | 8c4f63fa9a8c274cdd800a18c58a199aa7aba148 (diff) |
Compare versions in a more robust way.
Diffstat (limited to 'include/sanity_check.php')
-rw-r--r-- | include/sanity_check.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/sanity_check.php b/include/sanity_check.php index 2a39cfa42..427457d8b 100644 --- a/include/sanity_check.php +++ b/include/sanity_check.php @@ -20,7 +20,7 @@ array_push($errors, "Please don't run this script as root."); } - if (version_compare("5.3.0", phpversion()) == 1) { + if (version_compare(PHP_VERSION, '5.3.0', '>=')) { array_push($errors, "PHP version 5.3.0 or newer required."); } |