lang/php72: Update from 7.2.1 to 7.2.2
Changelog: http://www.php.net/ChangeLog-7.php#7.2.2
MFH: 2018Q1