| Index: modules/mediasource/WebKitMediaSource.idl
|
| diff --git a/modules/mediasource/WebKitMediaSource.idl b/modules/mediasource/WebKitMediaSource.idl
|
| index 4ceea5b988610f0b14d11c216481930261fa5f1d..aa5385a5d9a2287b5af771b4f55e08d67ce4ef07 100644
|
| --- a/modules/mediasource/WebKitMediaSource.idl
|
| +++ b/modules/mediasource/WebKitMediaSource.idl
|
| @@ -28,6 +28,11 @@
|
| * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
| */
|
|
|
| +enum WebKitEndOfStreamError {
|
| + "network",
|
| + "decode"
|
| +};
|
| +
|
| [
|
| ActiveDOMObject,
|
| Constructor,
|
| @@ -48,7 +53,7 @@
|
|
|
| readonly attribute DOMString readyState;
|
|
|
| - [RaisesException] void endOfStream([Default=NullString] optional DOMString error);
|
| + [RaisesException] void endOfStream(optional WebKitEndOfStreamError error);
|
|
|
| static boolean isTypeSupported (DOMString type);
|
| };
|
|
|