diff --git a/lib/debug.lib.php b/lib/debug.lib.php
index 1c0f9270..74d6d3ee 100644
--- a/lib/debug.lib.php
+++ b/lib/debug.lib.php
@@ -76,7 +76,7 @@ function check_database_inserted($dbh,$db_name) {
  */
 function check_php_ver($level=0) {
 
-	if (strcmp('5.1.2',phpversion()) > 0) {
+	if (floatval(phpversion()) < 5.1) {
 		return false;
 	}