| Index: webkit/media/webmediaplayer_impl.h
|
| diff --git a/webkit/media/webmediaplayer_impl.h b/webkit/media/webmediaplayer_impl.h
|
| index ae1e889ec00fc5dc3df2754cb59d6d2124219db0..83c2c0dafc50010e3e1e8d30dc25b1237e129804 100644
|
| --- a/webkit/media/webmediaplayer_impl.h
|
| +++ b/webkit/media/webmediaplayer_impl.h
|
| @@ -181,7 +181,14 @@ class WebMediaPlayerImpl
|
|
|
| virtual WebKit::WebAudioSourceProvider* audioSourceProvider();
|
|
|
| + virtual AddIdStatus sourceAddId(const WebKit::WebString& id,
|
| + const WebKit::WebString& type);
|
| + virtual bool sourceRemoveId(const WebKit::WebString& id);
|
| + // TODO(acolwell): Remove non-id version when http://webk.it/83788 fix lands.
|
| virtual bool sourceAppend(const unsigned char* data, unsigned length);
|
| + virtual bool sourceAppend(const WebKit::WebString& id,
|
| + const unsigned char* data,
|
| + unsigned length);
|
| virtual void sourceEndOfStream(EndOfStreamStatus status);
|
|
|
| virtual MediaKeyException generateKeyRequest(
|
|
|