mirror of
https://github.com/servo/servo.git
synced 2025-07-25 00:00:20 +01:00
23 lines
615 B
JavaScript
23 lines
615 B
JavaScript
// META: global=window,worker
|
|
// META: script=/resources/WebIDLParser.js
|
|
// META: script=/resources/idlharness.js
|
|
|
|
// https://w3c.github.io/push-api/
|
|
|
|
promise_test(async () => {
|
|
const srcs = [
|
|
'push-api',
|
|
'service-workers',
|
|
'dom',
|
|
'html'
|
|
];
|
|
const [idl, worker, dom, html] = await Promise.all(
|
|
srcs.map(i => fetch(`/interfaces/${i}.idl`).then(r => r.text())));
|
|
|
|
const idl_array = new IdlArray();
|
|
idl_array.add_idls(idl);
|
|
idl_array.add_dependency_idls(worker);
|
|
idl_array.add_dependency_idls(dom);
|
|
idl_array.add_dependency_idls(html);
|
|
idl_array.test();
|
|
}, 'push-api interfaces');
|