K 10
svn:author
V 2
tz
K 8
svn:date
V 27
2017-02-23T14:19:43.637600Z
K 7
svn:log
V 186
Update PHP 7.1 from 7.1.1 to 7.1.2

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

PR:           217109
Submitted by: Jochen Neumeister <joneum@bsdproject.de>
MFH:          2017Q1

END