I don't think dev server PHP is new enough to handle that syntax.