WebIDL

An interface description language (IDL) format for describing application programming interfaces (APIs) that are intended to be implemented in web browsers.