From: gregb_cc <gregb_cc>
Date: Tue, 17 Dec 2002 03:04:07 +0000 (+0000)
Subject: Since the reimplementation of check_php_version will probably never be used, I
X-Git-Url: http://git.mjollnir.org/gw?a=commitdiff_plain;h=8caf7e0430407df220e2293fd632456058d4d9c3;p=moodle.git

Since the reimplementation of check_php_version will probably never be used, I
have removed it.
---

diff --git a/lib/moodlelib.php b/lib/moodlelib.php
index 93acf86880..1bf01f178f 100644
--- a/lib/moodlelib.php
+++ b/lib/moodlelib.php
@@ -2134,14 +2134,6 @@ function check_php_version($version="4.1.0") {
     $minversion = intval(str_replace(".", "", $version));
     $curversion = intval(str_replace(".", "", phpversion()));
     return ($curversion >= $minversion);
-# below is a slightly different implementation, that is faster, but cannot check
-# versions isn't flexible in testing versions lower than 4.1.0
-//  if (function_exists(version_compare)){
-//      return version_compare(PHP_VERSION, $version, ">=");
-//  } else {
-//  # version_compare does not exist pre 4.1.0, so we know that the users version is too old.
-//      return false;
-//  }
 }
 
 function check_browser_version($brand="MSIE", $version=5.5) {