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 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
