Added support for some Web IDL extensions