)]}' { "id": "a6c47d6799577f0c31cd3e7334ccffc53b914afe", "repo": "webcore", "revision": "3c45690813c112373757bbef53de1602a62af609", "path": "core/html/HTMLButtonElement.idl" }