Configure Travis-CI to run with PHP 5.5