fixed a bug in r1718 where the PHP version key was cast as float in a particular test, making the array keys used by is_php() inaccurate beyond whole number versions

http://codeigniter.com/bug_tracker/bug/8475/
2 files changed
tree: 190beb967d9b0aae3421b67e0a6eecb38f82b7ee
  1. index.php
  2. license.txt
  3. system/
  4. user_guide/