mirror of
https://github.com/servo/servo.git
synced 2025-08-06 22:15:33 +01:00
Update web-platform-tests to revision d75cd4df6722acef7224eb6edcdc52b125680dad
This commit is contained in:
parent
1af15054e7
commit
d18b651358
120 changed files with 3588 additions and 1362 deletions
|
@ -3,16 +3,15 @@
|
|||
|
||||
// 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');
|
||||
idl_test(
|
||||
['geolocation-API'],
|
||||
['html'],
|
||||
idl_array => {
|
||||
self.audio = document.createElement('audio');
|
||||
self.video = document.createElement('video');
|
||||
idl_array.add_objects({
|
||||
Navigator: ['navigator'],
|
||||
Geolocation: ['navigator.geolocation'],
|
||||
});
|
||||
}
|
||||
);
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue