[PHP-DEV] [VOTE] Deprecations for PHP 7.2

[Nikita Popov]

Hi internals,

I've started the vote on https://wiki.php.net/rfc/deprecations_php_7_2. All
votes are 2/3 majority and end on 29-01-2017.

Thanks,
Nikita