On 14.01.2019 at 12:46, Nikita Popov wrote: > 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. > > Is the "dump the extension for PHP 7.4" option to remove the extension > without putting it up on PECL?
Yes. This option has been brought up by Stas[1], so I've added it. [1] <https://externals.io/message/103164#103178> -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
