fix clover php