mirror of
https://github.com/servo/servo.git
synced 2025-10-04 02:29:12 +01:00
32 lines
874 B
Text
32 lines
874 B
Text
// GENERATED CONTENT - DO NOT EDIT
|
|
// Content of this file was automatically extracted from the
|
|
// "Remote Playback API" spec.
|
|
// See: https://w3c.github.io/remote-playback/
|
|
|
|
[Exposed=Window]
|
|
interface RemotePlayback : EventTarget {
|
|
Promise<long> watchAvailability(RemotePlaybackAvailabilityCallback callback);
|
|
Promise<void> cancelWatchAvailability(optional long id);
|
|
|
|
readonly attribute RemotePlaybackState state;
|
|
|
|
attribute EventHandler onconnecting;
|
|
attribute EventHandler onconnect;
|
|
attribute EventHandler ondisconnect;
|
|
|
|
Promise<void> prompt();
|
|
};
|
|
|
|
enum RemotePlaybackState {
|
|
"connecting",
|
|
"connected",
|
|
"disconnected"
|
|
};
|
|
|
|
callback RemotePlaybackAvailabilityCallback = void (boolean available);
|
|
|
|
partial interface HTMLMediaElement {
|
|
[SameObject] readonly attribute RemotePlayback remote;
|
|
|
|
[CEReactions] attribute boolean disableRemotePlayback;
|
|
};
|