php version bump