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