Using a PHP5.4 feature