Making patch PHP 5.3 compliant.