On Fri, 14 Jun 2019 at 14:31, Joe Watkins <krak...@gmail.com> wrote:

> Hi Christoph,
>
> I'm not even certain this needs to be put to a vote ... we should not be
> shipping that.
>
> +1 whatever ...
>
> If you can't find a single dissenting voice, just get rid of the thing
> before the next alpha, or possibly the first beta/rc ...
>
> Cheers
> Joe
>

I agree with Joe here, I don't think it's sane to ship PHP with an obsolete
extension.
So +1 on my side too

Best regards

George P. Banyard

Reply via email to