====== PHP RFC: Deprecations for PHP 7.1 ======

Superseded by [[https://wiki.php.net/rfc/deprecations_php_7_2]].