PHP7 + Synth issue

[John Marino]

On 2/17/2016 2:24 PM, Matt Smith wrote:
> The problem is that it isn't just that port. I've also seen it on
> databases/mysqldumper for example. It's going to affect all ports which
> have USE_PHP=mysql within them of which I suspect there are quite a
> lot.  It might be impractical to do what you suggest with them all and
> I'm wondering if miwi as the maintainer of PHP7 has any thoughts of an
> official way of solving it.

Yes, I agree with you in that case.
The USE_PHP=mysql needs to handle the case of php 7.0.

is mysqli inbuilt to php7?  or does it require a different dependency so
USE_PHP=mysql needs to switch depending on the php version?

in any case, synth is involved only because it cause it first I guess.

John