forked from mirrors/gecko-dev
abdab1e958
<!-- Please describe your changes on the following line: --> I removed exposure in Window and Worker to some interfaces that was not specified in the specification. Specifically: - HTMLLinkElement.webidl - HTMLMapElement.webidl - HTMLMediaElement.webidl - HTMLMetaElement.webidl - HTMLMeterElement.webidl - HTMLModElement.webidl - HTMLObjectElement.webidl - HTMLOListElement.webidl - HTMLOptGroupElement.webidl - HTMLOptionElement.webidl - HTMLOutputElement.webidl --- <!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `__` with appropriate data: --> - [X] `./mach build -d` does not report any errors - [X] `./mach test-tidy` does not report any errors - [X] These changes partially fix #12415 (github issue number if applicable). <!-- Either: --> - [ ] There are tests for these changes OR - [X] These changes do not require tests because they do not add any feature <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. --> Source-Repo: https://github.com/servo/servo Source-Revision: 4af21e3ae1676f943a9a01688fef854487bcddfc
67 lines
2.4 KiB
Text
67 lines
2.4 KiB
Text
/* 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/. */
|
|
|
|
// https://html.spec.whatwg.org/multipage/#htmlmediaelement
|
|
enum CanPlayTypeResult { "" /* empty string */, "maybe", "probably" };
|
|
[Abstract]
|
|
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 = "");
|
|
};
|