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	In order to switch to PHP 7.4 as new default, we need to ignore some ports.	2020-07-28 07:51:52 +00:00
pkg-descr
pkg-plist