Hi! Since there has been no more discussion, and the RFC has been announced months ago, I have put it to vote:
<https://wiki.php.net/rfc/deprecate-and-remove-ext-wddx> Voting will end on 2019-01-31 (i.e. in two weeks). Thanks to everybody for their valuable feedback during the discussion phase! Happy voting! -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
