mirror of
https://github.com/servo/servo.git
synced 2025-10-04 02:29:12 +01:00
41 lines
1.2 KiB
HTML
41 lines
1.2 KiB
HTML
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<meta charset="utf-8">
|
|
<title>Remote Playback API IDL tests</title>
|
|
<link rel="help" href="https://w3c.github.io/remoteplayback/"/>
|
|
<script src="/resources/testharness.js"></script>
|
|
<script src="/resources/testharnessreport.js"></script>
|
|
<script src="/resources/WebIDLParser.js"></script>
|
|
<script src="/resources/idlharness.js"></script>
|
|
</head>
|
|
<body>
|
|
<h1>Remote Playback API IDL tests</h1>
|
|
<video id='media' width=10 height=10></video>
|
|
<pre id='untested_idl' style='display:none'>
|
|
interface EventHandler {};
|
|
interface HTMLMediaElement : HTMLElement {};
|
|
interface EventTarget {};
|
|
</pre>
|
|
<script>
|
|
"use strict"
|
|
var idl_array = new IdlArray();
|
|
function doTest(idl) {
|
|
idl_array.add_untested_idls(document.getElementById("untested_idl").textContent);
|
|
idl_array.add_idls(idl);
|
|
idl_array.add_objects({
|
|
HTMLVideoElement: [document.getElementById("media")],
|
|
RemotePlayback: [document.getElementById("media").remote]
|
|
});
|
|
idl_array.test();
|
|
}
|
|
|
|
promise_test(function() {
|
|
return fetch("/interfaces/remoteplayback.idl")
|
|
.then(response => response.text())
|
|
.then(doTest);
|
|
}, "Test driver");
|
|
</script>
|
|
<div id="log"></div>
|
|
</body>
|
|
</html>
|