| // META: script=/resources/WebIDLParser.js |
| // META: script=/resources/idlharness.js |
| |
| // https://www.w3.org/TR/geolocation-API/ |
| |
| promise_test(async () => { |
| const idl = await fetch('/interfaces/geolocation-API.idl').then(r => r.text()); |
| const html = await fetch('/interfaces/html.idl').then(r => r.text()); |
| |
| const idl_array = new IdlArray(); |
| idl_array.add_idls(idl); |
| idl_array.add_dependency_idls(html); |
| idl_array.add_objects({ |
| Navigator: ["navigator"], |
| Geolocation: ["navigator.geolocation"] |
| }); |
| idl_array.test(); |
| }, 'geolocation-API interfaces'); |