diff options
| author | Derek Jones <derek.jones@ellislab.com> | 2009-08-06 16:45:07 +0200 |
|---|---|---|
| committer | Derek Jones <derek.jones@ellislab.com> | 2009-08-06 16:45:07 +0200 |
| commit | 8f26dbe1c4b49042d2653956d6278b87351af661 (patch) | |
| tree | 527edb49a8a5b4d6d569ec0c0f6ecb75ebc4ead8 /system | |
| parent | 6d3c2c3511f1c041228da0c13b9d25b716dcf1e1 (diff) | |
let's go ahead and be thorough and explicit
if ( ! is_php(5))
becomes
if ( ! is_php('5.0.0'))
ref: http://codeigniter.com/bug_tracker/bug/8475/
Diffstat (limited to 'system')
| -rw-r--r-- | system/codeigniter/CodeIgniter.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/codeigniter/CodeIgniter.php b/system/codeigniter/CodeIgniter.php index 1671287d0..7b945d249 100644 --- a/system/codeigniter/CodeIgniter.php +++ b/system/codeigniter/CodeIgniter.php @@ -134,7 +134,7 @@ $LANG =& load_class('Language'); * Note: The Loader class needs to be included first * */ -if ( ! is_php(5)) +if ( ! is_php('5.0.0')) { load_class('Loader', FALSE); require(BASEPATH.'codeigniter/Base4'.EXT); |