Update PHP 7.1 from 7.1.6 to 7.1.7

Changelog: http://www.php.net/ChangeLog-7.php#7.1.7

PR: 220532
Reported by: Fabiano Sidler <fabianosidler@swissonline.ch>, Dani <i.dani@outlook.com>
MFH: 2017Q3
Security: CVE-2017-9224
Security: CVE-2017-9226
Security: CVE-2017-9227
Security: CVE-2017-9228
Security: CVE-2017-9229