Use /resources/WebIDLParser.js