MFH: r468354
lang/php72: Update from 7.2.4 to 7.2.5
Changelog: http://www.php.net/ChangeLog-7.php#7.2.5
Security: CVE-2018-5712
Approved by: ports-secteam (riggs)