diff options
Diffstat (limited to 'lib/debug.lib.php')
| -rw-r--r-- | lib/debug.lib.php | 2 |
1 files changed, 1 insertions, 1 deletions
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; } |