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( |