[php] 5.5.7 version bump