change according to latest UDPSocket WebIDL