* pr-51091: php72: 7.2.11 -> 7.2.12 php71: 7.1.23 -> 7.1.24 php: align Darwin and Linux versions again