# Web IDL definitions of the web platform