edit of the travis file to delete a specific version of php