diff options
author | Andrew Dolgov <[email protected]> | 2012-08-23 23:17:32 +0400 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2012-08-23 23:17:32 +0400 |
commit | 79f946be6f6f7451269bf4b0d6ff7a449da63937 (patch) | |
tree | 234dcb85a390720264b1af35cae9b63a503c19c8 | |
parent | 4c97d1f6af7e354e1bd535096acfa922fe11255d (diff) |
sanity: add php version check
-rw-r--r-- | include/sanity_check.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/sanity_check.php b/include/sanity_check.php index 80ca7822f..5e34b2f37 100644 --- a/include/sanity_check.php +++ b/include/sanity_check.php @@ -13,6 +13,10 @@ array_push($errors, "Please don't run this script as root."); } + if (version_compare("5.2.0", phpversion()) == 1) { + array_push($errors, "PHP version 5.2.0 or newer required."); + } + if (CONFIG_VERSION != EXPECTED_CONFIG_VERSION) { array_push($errors, "Configuration file (config.php) has incorrect version. Update it with new options from config.php-dist and set CONFIG_VERSION to the correct value."); } |