Isn't this a PHP 5.4 feature?