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