[RFC] [VOTE] Cleaning up unmaintained extensions

Hi! I would like to open the vote for the RFC about cleaning up the unmaintained extensions: https://wiki.php.net/rfc/umaintained_extensions The vote ends 2018-06-26 23:59 PDT. I have added some discussion about active maintainers and abandonment procedures, this can be refined further later. I also kept the list of the candidates as-is for now, but I will update it soon and probably make a separate wiki page for maintaining it. Please note this list is not part of the vote (the vote is on the process, not specific list which will change all the time). Thanks, -- Stas Malyshev smalyshev@gmail.com