[RFC] Deprecations for PHP 7.1

Hi internals! I've created a bulk-deprecation RFC for PHP 7.1: https://wiki.php.net/rfc/deprecations_php_7_1 I'm using this RFC to collect various deprecations targeting PHP 7.1, as having individual RFCs for these is too much management overhead. Each deprecated feature will get its own vote, of course. This RFC is incomplete -- I'm posting it now so people can suggest other things that should be deprecated. I expect it to grow over time and don't plan to vote on it in the immediate future. Thanks, Nikita