[php] 5.5.12 version bump