just tried it on PHP 5.3 on my local machine and this indeed results in an error (maybe it is nevertheless allowed in 5.4+)