Adding WebIDL definitions