MFH: r486833
lang/php72: Upgrade from 7.2.12 to 7.2.13
Changelog: http://www.php.net/ChangeLog-7.php#7.2.13
Approved by: ports-secteam (miwi)