Update WebIDL.py.