MFH: r468353
Update PHP 7.1 from 7.1.16 to 7.1.17
Changelog: http://www.php.net/ChangeLog-7.php#7.1.17
Security: CVE-2018-5712
Approved by: ports-secteam (riggs)