Old bugfix for PHP4

Delete a bugfix for PHP4, because the current version requires at least PHP 5.2.1. The case thus never occurs.