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