PHP7 + Synth issue

[John Marino]

On 2/17/2016 2:44 PM, Martin Wilke wrote:
> Hi,
> 
> The long term solution will be switching to mysqli or pdo_mysql which is
> provided by php70 (and php55/56), I am working right now on cleaning up
> the pecl ports, after that I'll go and check which port can switch already. 
> 

The problem with that approach is that his tree is broken now.
His choice is don't build at all or don't use php 7.0.

I think it's something that needs attention now unless the intent is to
say, "don't use php7 yet, it is not ready for prime time" (which is
possible)