Torsten Zuehlsdorff 8bc58525b0 Update PHP 7.1 from 7.1.18 to 7.1.19 ... Changelog: http://www.php.net/ChangeLog-7.php#7.1.19		2018-06-25 11:40:54 +00:00
..
files
distinfo	Update PHP 7.1 from 7.1.18 to 7.1.19	2018-06-25 11:40:54 +00:00
Makefile	Update PHP 7.1 from 7.1.18 to 7.1.19	2018-06-25 11:40:54 +00:00
Makefile.ext
pkg-descr
pkg-message.mod
pkg-plist
pkg-plist.mod