
        Sync WebIDL.py with gecko

56f31c8