On Mon, Jan 14, 2019 at 12:22 PM Christoph M. Becker <cmbecke...@gmx.de> wrote:
> On 14.01.2019 at 10:45, Nikita Popov wrote: > > > On Sun, Sep 16, 2018 at 6:49 PM Christoph M. Becker <cmbecke...@gmx.de> > > wrote: > > > >> Finally, I hereby put the “Deprecate and Remove ext/wwdx” RFC[1] under > >> discussion. > >> > >> [1] <https://wiki.php.net/rfc/deprecate-and-remove-ext-wddx> > > > > Do you plan to move this RFC forward to voting? > > > > I think during the discussion the consensus basically was that we want to > > move this to PECL ASAP (i.e. already in 7.4) and there was some > > disagreement on whether it should also throw deprecation warnings. I > would > > prefer that, but in the end what's most important is that the extension > is > > unbundled. > > Thanks for the reminder! > > I have updated the RFC to have a primary vote on whether to unbundle > ext/wddx or not, and a secondary vote on the detailed procedure. I > guess that I have caught all suggestions so far, and although I don't > like these secondary votes, it seems we can't do without here. > > -- > Christoph M. Becker > Is the "dump the extension for PHP 7.4" option to remove the extension without putting it up on PECL? Nikita
