summaryrefslogtreecommitdiff
path: root/include/sanity_check.php
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2012-08-23 23:17:32 +0400
committerAndrew Dolgov <[email protected]>2012-08-23 23:17:32 +0400
commit79f946be6f6f7451269bf4b0d6ff7a449da63937 (patch)
tree234dcb85a390720264b1af35cae9b63a503c19c8 /include/sanity_check.php
parent4c97d1f6af7e354e1bd535096acfa922fe11255d (diff)
sanity: add php version check
Diffstat (limited to 'include/sanity_check.php')
-rw-r--r--include/sanity_check.php4
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.");
}