K 10
svn:author
V 2
tz
K 8
svn:date
V 27
2018-01-10T16:07:02.061196Z
K 7
svn:log
V 116
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

END