php version bump travis