Thu, 22 Jan 2015 13:21:57 +0100
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
1 /* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
2 /* This Source Code Form is subject to the terms of the Mozilla Public
3 * License, v. 2.0. If a copy of the MPL was not distributed with this file,
4 * You can obtain one at http://mozilla.org/MPL/2.0/.
5 *
6 * The origin of this IDL file is
7 * http://www.whatwg.org/specs/web-apps/current-work/#the-video-element
8 *
9 * © Copyright 2004-2011 Apple Computer, Inc., Mozilla Foundation, and
10 * Opera Software ASA. You are granted a license to use, reproduce
11 * and create derivative works of this document.
12 */
14 interface HTMLVideoElement : HTMLMediaElement {
15 [SetterThrows]
16 attribute unsigned long width;
17 [SetterThrows]
18 attribute unsigned long height;
19 readonly attribute unsigned long videoWidth;
20 readonly attribute unsigned long videoHeight;
21 [SetterThrows]
22 attribute DOMString poster;
23 };
25 partial interface HTMLVideoElement {
26 // A count of the number of video frames that have demuxed from the media
27 // resource. If we were playing perfectly, we'd be able to paint this many
28 // frames.
29 readonly attribute unsigned long mozParsedFrames;
31 // A count of the number of frames that have been decoded. We may drop
32 // frames if the decode is taking too much time.
33 readonly attribute unsigned long mozDecodedFrames;
35 // A count of the number of frames that have been presented to the rendering
36 // pipeline. We may drop frames if they arrive late at the renderer.
37 readonly attribute unsigned long mozPresentedFrames;
39 // Number of presented frames which were painted on screen.
40 readonly attribute unsigned long mozPaintedFrames;
42 // Time which the last painted video frame was late by, in seconds.
43 readonly attribute double mozFrameDelay;
45 // True if the video has an audio track available.
46 readonly attribute boolean mozHasAudio;
47 };
49 // https://dvcs.w3.org/hg/html-media/raw-file/default/media-source/media-source.html#idl-def-HTMLVideoElement
50 partial interface HTMLVideoElement {
51 [Pref="media.mediasource.enabled", NewObject]
52 VideoPlaybackQuality getVideoPlaybackQuality();
53 };