MFH: r454818
Update PHP 7.1 from 7.1.10 to 7.1.12
Changelog: http://www.php.net/ChangeLog-7.php#7.1.12
Approved by: ports-secteam (swills)