[ 16:07 tz  ]

• 458658 archivers/php71-phar/Makefile
• 458658 lang/php71/Makefile
• 458658 lang/php71/distinfo
• 458658 www/php71-opcache/Makefile
• 458658 www/php71-opcache/files/patch-Optimizer_zend__inference.c

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

[ 11:11 tz  ]

• 456288 www/php71-opcache/Makefile
• 456288 www/php71-opcache/files/patch-Optimizer_zend__inference.c

www/php71-opcache: Fix upstream bugs causing problems with nextcloud

The bug floods the error logs of not only Nextcloud, but also
Magento and some other applications. While there is already a fix
the next PHP Release is expected at the end of January.

Therefore add the upstream patches.

More details can be found here:
https://bugs.php.net/bug.php?id=75570
https://bugs.php.net/bug.php?id=75608

Reported by: Troels Just <troels@troelsjust.dk>
MFH:         2017Q4