summaryrefslogtreecommitdiffstats
path: root/system/codeigniter/CodeIgniter.php
diff options
context:
space:
mode:
authorDerek Jones <derek.jones@ellislab.com>2009-08-06 16:45:07 +0200
committerDerek Jones <derek.jones@ellislab.com>2009-08-06 16:45:07 +0200
commit8f26dbe1c4b49042d2653956d6278b87351af661 (patch)
tree527edb49a8a5b4d6d569ec0c0f6ecb75ebc4ead8 /system/codeigniter/CodeIgniter.php
parent6d3c2c3511f1c041228da0c13b9d25b716dcf1e1 (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/codeigniter/CodeIgniter.php')
-rw-r--r--system/codeigniter/CodeIgniter.php2
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);