K 10
svn:author
V 2
tz
K 8
svn:date
V 27
2018-12-19T09:12:32.854474Z
K 7
svn:log
V 145
MFH: r486832

lang/php71: Upgrade from 7.1.24 to 7.1.25

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

Approved by:	ports-secteam (miwi)

END