Updated Web IDL defs