Torsten Zuehlsdorff c687c65114 Update PHP 7.1 from 7.1.12 to 7.1.13 ...

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

PR:  224955
MFH: 2018Q1

2018-01-10 16:07:02 +00:00

..

files

Add an upstream patch:

2017-12-17 10:19:10 +00:00

distinfo

Update PHP 7.1 from 7.1.12 to 7.1.13

2018-01-10 16:07:02 +00:00

Makefile

Update PHP 7.1 from 7.1.12 to 7.1.13

2018-01-10 16:07:02 +00:00

Makefile.ext

Chase renaming of devel/oniguruma6 to devel/oniguruma

2017-11-12 14:00:48 +00:00

pkg-descr

…

pkg-message.mod

lang/php71: add notice for poudriere builds with ZTS option

2017-07-27 09:34:23 +00:00

pkg-plist

Update PHP 7.1 from 7.1.1 to 7.1.2

2017-02-23 14:19:43 +00:00

pkg-plist.mod

…