Update to CodeIgniter, minor change to system/core/Config.php to avoid
issues with PHP 5.6