| Index: third_party/WebCore/html/HTMLMediaElement.idl
|
| diff --git a/third_party/WebCore/html/HTMLMediaElement.idl b/third_party/WebCore/html/HTMLMediaElement.idl
|
| index ac0fa467b4049e163e90cb6b63fa337acbc2e264..9d0ae8a77999a751a75cd54dc151a937cee616fc 100644
|
| --- a/third_party/WebCore/html/HTMLMediaElement.idl
|
| +++ b/third_party/WebCore/html/HTMLMediaElement.idl
|
| @@ -98,35 +98,6 @@ module html {
|
| #if defined(ENABLE_MEDIA_SOURCE) && ENABLE_MEDIA_SOURCE
|
| // URL passed to src attribute to enable the media source logic.
|
| readonly attribute [V8EnabledAtRuntime=mediaSource, URL] DOMString webkitMediaSourceURL;
|
| -
|
| - // Manages IDs for appending media to the source.
|
| - [V8EnabledAtRuntime=mediaSource] void webkitSourceAddId(in DOMString id, in DOMString type) raises (DOMException);
|
| - [V8EnabledAtRuntime=mediaSource] void webkitSourceRemoveId(in DOMString id) raises (DOMException);
|
| -
|
| - // Returns the time ranges buffered for a specific source ID.
|
| - [V8EnabledAtRuntime=mediaSource] TimeRanges webkitSourceBuffered(in DOMString id) raises (DOMException);
|
| -
|
| - // Appends segment data.
|
| - [V8EnabledAtRuntime=mediaSource] void webkitSourceAppend(in DOMString id, in Uint8Array data) raises (DOMException);
|
| -
|
| - // Aborts the current segment.
|
| - [V8EnabledAtRuntime=mediaSource] void webkitSourceAbort(in DOMString id) raises (DOMException);
|
| -
|
| - // Signals the end of stream.
|
| - [V8EnabledAtRuntime=mediaSource] const unsigned short EOS_NO_ERROR = 0; // End of stream reached w/o error.
|
| - [V8EnabledAtRuntime=mediaSource] const unsigned short EOS_NETWORK_ERR = 1; // A network error triggered end of stream.
|
| - [V8EnabledAtRuntime=mediaSource] const unsigned short EOS_DECODE_ERR = 2; // A decode error triggered end of stream.
|
| - [V8EnabledAtRuntime=mediaSource] void webkitSourceEndOfStream(in unsigned short status) raises (DOMException);
|
| -
|
| - // Indicates the current state of the media source.
|
| - [V8EnabledAtRuntime=mediaSource] const unsigned short SOURCE_CLOSED = 0;
|
| - [V8EnabledAtRuntime=mediaSource] const unsigned short SOURCE_OPEN = 1;
|
| - [V8EnabledAtRuntime=mediaSource] const unsigned short SOURCE_ENDED = 2;
|
| - readonly attribute [V8EnabledAtRuntime=mediaSource] unsigned short webkitSourceState;
|
| -
|
| - attribute [V8EnabledAtRuntime=mediaSource] EventListener onwebkitsourceopen;
|
| - attribute [V8EnabledAtRuntime=mediaSource] EventListener onwebkitsourceended;
|
| - attribute [V8EnabledAtRuntime=mediaSource] EventListener onwebkitsourceclose;
|
| #endif
|
|
|
| #if defined(ENABLE_ENCRYPTED_MEDIA) && ENABLE_ENCRYPTED_MEDIA
|
|
|