Update PHP 7.1 from 7.1.12 to 7.1.13
Changelog: http://www.php.net/ChangeLog-7.php#7.1.13
PR: 224955 MFH: 2018Q1