Updated Web IDL defs
auto-merge staging into master