https://www.php.net/supported-versions.php
PHP 7.1 will soon be end of life (no more security updates) so we need
to move the ports default version (i.e. the version used as a dependency for
most other PHP ports) to either 7.2 or 7.3.
7.2 is soon going to "security fixes only" mode with EoL due Nov 2020.
7.3 is still in "active support" mode but it's a bigger change.
I'm pretty sure that some ports using PHP won't like 7.3 (and it's
not really possibly to identify these in advance) and will need to
be restricted to 7.2 but I think it would be better to do this on a
case-by-case basis and have the default set to the newer version.
Any major opposition to this?
Does anyone know of particular PHP ports in the tree that are already
known to fail with 7.3?
Unfortunately we can't set ports to depend on "either 7.2 or 7.3".
ports/pkg_add allow "A or B" type choice, but don't allow "A+A1 or
B+B1 but not A+B1@ type choices which would be needed for correct
dependencies with this, and there's a further problem as the path
to the PHP interpreter (MODPHP_BIN) needs to point at a particular
version. So I think we're stuck with making a specific decision
for each port ("force X version or use the default").
