Travis should check for PHP 5.5 too