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/
1 file changed
tree: 527edb49a8a5b4d6d569ec0c0f6ecb75ebc4ead8
  1. index.php
  2. license.txt
  3. system/
  4. user_guide/