Log Message:
Updated php72 from RC6 to final 7.2.0

Changes versus 7.1.x as listed in release announcement:
* Convert numeric keys in object/array casts
* Counting of non-countable objects
* Object typehint
* HashContext as Object
* Argon2 in password hash
* Improve TLS constants to sane values
* Mcrypt extension removed
* New sodium extension