Torsten Zuehlsdorff cb617f8a71 In order to switch to PHP 7.4 as new default, we need to ignore some ports. ...

These are relying on the wddx module of PHP, which was removed in 7.4.

Therefore the following ports are marked as IGNORE_WITH_PHP= 74
* www/glpi
* www/zend-framework
* www/zend-framework1

PR:		248074
Sponsored by:	Bounce Experts

2020-07-28 07:51:52 +00:00

..

files

…

distinfo

…

Makefile

…

pkg-descr

…

pkg-plist

…