Use WebIDLParser.js