sanity: add php version check

diff --git a/include/sanity_check.php b/include/sanity_check.php
index 80ca7822f02c62110c96e9ef67f9497676cebdca..5e34b2f379e56b57401695a7b4a4bdec3f2e6f50 100644 (file)
--- 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.");
                        }