AFAICT, that behavior was fixed with the release of PHP 7.1 in 2016.