PHP 5.3 is all we want