for PHP 54.