Hi internals!
Voting on the removal of deprecated functionality in PHP 7 is now open:
https://wiki.php.net/rfc/remove_deprecated_functionality_in_php7#votes
As requested, I've split this up in many individual votes, only some
particularly trivial function deprecations are left as a group.
If you vote against the removal of an item, I would appreciate a mail with
your reasons behind the choice and maybe suggestions as to what we should
do with the item instead (leave deprecated / undeprecate it / provide
missing alternatives / ...).
Nikita
