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