Removed PHP4-only code.

Fixes an error with PHP7