From 4b97919fcdbfc71d42ef1641fbe9cf482c1582bb Mon Sep 17 00:00:00 2001
From: gustav_delius <gustav_delius>
Date: Mon, 9 May 2005 17:24:03 +0000
Subject: [PATCH] I have changed check_php_version() to use version_compare()
 in an attempt to fix bug 3176

---
 lib/moodlelib.php | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/lib/moodlelib.php b/lib/moodlelib.php
index ba7c935e722..8fb86b1bf57 100644
--- a/lib/moodlelib.php
+++ b/lib/moodlelib.php
@@ -4868,9 +4868,7 @@ function get_list_of_plugins($plugin='mod', $exclude='') {
  * @todo Finish documenting this function
  */
 function check_php_version($version='4.1.0') {
-    $minversion = intval(str_replace('.', '', $version));
-    $curversion = intval(str_replace('.', '', phpversion()));
-    return ($curversion >= $minversion);
+    return (version_compare(phpversion(), $version) >= 0);
 }