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)