Remove obsolete PHPFunction.