====== PHP RFC: Deprecations for PHP 7.1 ====== Superseded by [[https://wiki.php.net/rfc/deprecations_php_7_2]].