mirror of
https://github.com/servo/servo.git
synced 2025-10-06 03:29:25 +01:00
a0783aebbf
These stub implementations bring no value, and significantly increased maintenance costs. This commit also synchronizes the IDL with the HTML specification and makes the URLs consistent.
67 lines
2.4 KiB
Text
67 lines
2.4 KiB
Text
/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
// http://www.whatwg.org/html/#htmlmediaelement
|
|
//enum CanPlayTypeResult { "" /* empty string */, "maybe", "probably" };
|
|
interface HTMLMediaElement : HTMLElement {
|
|
|
|
// error state
|
|
//readonly attribute MediaError? error;
|
|
|
|
// network state
|
|
// attribute DOMString src;
|
|
//readonly attribute DOMString currentSrc;
|
|
// attribute DOMString crossOrigin;
|
|
//const unsigned short NETWORK_EMPTY = 0;
|
|
//const unsigned short NETWORK_IDLE = 1;
|
|
//const unsigned short NETWORK_LOADING = 2;
|
|
//const unsigned short NETWORK_NO_SOURCE = 3;
|
|
//readonly attribute unsigned short networkState;
|
|
// attribute DOMString preload;
|
|
//readonly attribute TimeRanges buffered;
|
|
//void load();
|
|
//CanPlayTypeResult canPlayType(DOMString type);
|
|
|
|
// ready state
|
|
//const unsigned short HAVE_NOTHING = 0;
|
|
//const unsigned short HAVE_METADATA = 1;
|
|
//const unsigned short HAVE_CURRENT_DATA = 2;
|
|
//const unsigned short HAVE_FUTURE_DATA = 3;
|
|
//const unsigned short HAVE_ENOUGH_DATA = 4;
|
|
//readonly attribute unsigned short readyState;
|
|
//readonly attribute boolean seeking;
|
|
|
|
// playback state
|
|
// attribute double currentTime;
|
|
//void fastSeek(double time);
|
|
//readonly attribute unrestricted double duration;
|
|
//Date getStartDate();
|
|
//readonly attribute boolean paused;
|
|
// attribute double defaultPlaybackRate;
|
|
// attribute double playbackRate;
|
|
//readonly attribute TimeRanges played;
|
|
//readonly attribute TimeRanges seekable;
|
|
//readonly attribute boolean ended;
|
|
// attribute boolean autoplay;
|
|
// attribute boolean loop;
|
|
//void play();
|
|
//void pause();
|
|
|
|
// media controller
|
|
// attribute DOMString mediaGroup;
|
|
// attribute MediaController? controller;
|
|
|
|
// controls
|
|
// attribute boolean controls;
|
|
// attribute double volume;
|
|
// attribute boolean muted;
|
|
// attribute boolean defaultMuted;
|
|
|
|
// tracks
|
|
//readonly attribute AudioTrackList audioTracks;
|
|
//readonly attribute VideoTrackList videoTracks;
|
|
//readonly attribute TextTrackList textTracks;
|
|
//TextTrack addTextTrack(TextTrackKind kind, optional DOMString label = "", optional DOMString language = "");
|
|
};
|