Update WebIDLParser.js