@stof It's a PHP 5.5 feature.