fixed for PHP 5.4 or later