Revision 543581

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