diff options
| author | vlakoff <vlakoff@gmail.com> | 2014-04-05 09:52:01 +0200 |
|---|---|---|
| committer | vlakoff <vlakoff@gmail.com> | 2014-04-05 13:21:47 +0200 |
| commit | 629d37532acaf3d6e57d25545e16ecc24459c59c (patch) | |
| tree | df5c8a3ed9607485bedada0311e34c711a741f6a /system | |
| parent | 8e814ee16f2569619627d2c3e22433d7391f011c (diff) | |
Remove default parameter value of is_php()
It was simply pointless.
Diffstat (limited to 'system')
| -rw-r--r-- | system/core/Common.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/system/core/Common.php b/system/core/Common.php index 237bd4246..fda747b05 100644 --- a/system/core/Common.php +++ b/system/core/Common.php @@ -51,14 +51,14 @@ if ( ! function_exists('is_php')) * @param string * @return bool TRUE if the current version is $version or higher */ - function is_php($version = '5.3.0') + function is_php($version) { static $_is_php; $version = (string) $version; if ( ! isset($_is_php[$version])) { - $_is_php[$version] = (version_compare(PHP_VERSION, $version) >= 0); + $_is_php[$version] = version_compare(PHP_VERSION, $version, '>='); } return $_is_php[$version]; |