diff options
| -rw-r--r-- | system/codeigniter/Common.php | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/system/codeigniter/Common.php b/system/codeigniter/Common.php index 39005f602..f45c85c26 100644 --- a/system/codeigniter/Common.php +++ b/system/codeigniter/Common.php @@ -38,18 +38,18 @@ * @access public * @return bool */ - function is_php($version = '5.0.0') - { - static $_is_php; - - if ( ! isset($_is_php[$version])) - { - $_is_php[$version] = (version_compare(PHP_VERSION, $version) < 0) ? FALSE : TRUE; - } +function is_php($version = '5.0.0') +{ + static $_is_php; - return $_is_php[$version]; + if ( ! isset($_is_php[$version])) + { + $_is_php[$version] = (version_compare(PHP_VERSION, $version) < 0) ? FALSE : TRUE; } + return $_is_php[$version]; +} + // ------------------------------------------------------------------------ /** |