PHP 5.4 feature. we target 5.3.3+