Torsten Zuehlsdorff 46b0a3e1f0 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. MFH: 2017Q2		2017-05-15 10:01:40 +00:00
..
files
distinfo	Update PHP 7.1 from 7.1.4 to 7.1.5	2017-05-15 10:01:40 +00:00
Makefile	Update PHP 7.1 from 7.1.4 to 7.1.5	2017-05-15 10:01:40 +00:00
Makefile.ext
pkg-descr
pkg-message.mod
pkg-plist
pkg-plist.mod