Index: webkit/media/webmediaplayer_impl.cc |
diff --git a/webkit/media/webmediaplayer_impl.cc b/webkit/media/webmediaplayer_impl.cc |
index 0281177e3c29e82de9de98d645c47a2270774835..b63d904beef891498079391976fe748eca163239 100644 |
--- a/webkit/media/webmediaplayer_impl.cc |
+++ b/webkit/media/webmediaplayer_impl.cc |
@@ -650,6 +650,16 @@ WebKit::WebMediaPlayer::AddIdStatus WebMediaPlayerImpl::sourceAddId( |
new_codecs)); |
} |
+void WebMediaPlayerImpl::sourceTimestampOffset( |
+ const WebKit::WebString& id, float offset) { |
+ proxy_->DemuxerTimestampOffset(id.utf8().data(), offset); |
+} |
+ |
+void WebMediaPlayerImpl::sourceClearTimestampOffset( |
+ const WebKit::WebString& id) { |
+ proxy_->DemuxerClearTimestampOffset(id.utf8().data()); |
+} |
+ |
bool WebMediaPlayerImpl::sourceRemoveId(const WebKit::WebString& id) { |
DCHECK(!id.isEmpty()); |
proxy_->DemuxerRemoveId(id.utf8().data()); |