Compare versions in a more robust way.

diff --git a/include/sanity_check.php b/include/sanity_check.php
index 2a39cfa42fcf28e5727f6d0db2b8fc83ce8450b1..427457d8b5a8a03243c2b853c8a1dab6046e3c76 100644 (file)
--- 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.");
                        }