Remove some PHP 5.2 cruft (we already bailed for < 5.3.2)