Interface definition language of the web platform.