K 10
svn:author
V 2
tz
K 8
svn:date
V 27
2017-11-27T15:27:14.357144Z
K 7
svn:log
V 142
MFH: r454818

Update PHP 7.1 from 7.1.10 to 7.1.12

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

Approved by: ports-secteam (swills)

END