b5071d5903
This might be a bad idea, especially on the webidl side. However, we started talking about the idea that modelines are a lint error (https://github.com/servo/servo/issues/10719), and these changes would be required before enabling a modeline lint. If it bitrots, it's easy to recreate with ``` find * -type f -exec sed '/- Mode:/d' -i {} + find * -type f -exec sed '/ vim:/d' -i {} + git checkout -- python/tidy/servo_tidy/tidy.py git checkout -- python/tidy/servo_tidy_tests/spec.webidl git commit -a ``` Source-Repo: https://github.com/servo/servo Source-Revision: dff217c2e3ff0b77eeebf62d36c2bf57c044cf14
68 lines
2.4 KiB
Plaintext
68 lines
2.4 KiB
Plaintext
/* 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 = "");
|
|
};
|