K 10
svn:author
V 2
tz
K 8
svn:date
V 27
2017-05-15T12:03:14.847047Z
K 7
svn:log
V 207
MFH: r440914

Update PHP 7.1 from 7.1.4 to 7.1.5

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

Also remove the patch from devel/php71-gettext
which isn't needed anymore.

Approved by: portmgr (miwi)

END