Index: webkit/media/webmediaplayer_impl.cc |
diff --git a/webkit/media/webmediaplayer_impl.cc b/webkit/media/webmediaplayer_impl.cc |
index 7fef4e01174e533eb7c320bb91f4b87d139bb1c6..a29732540f82c0ac7f3ce6b327a7ca859fda045f 100644 |
--- a/webkit/media/webmediaplayer_impl.cc |
+++ b/webkit/media/webmediaplayer_impl.cc |
@@ -682,6 +682,11 @@ void WebMediaPlayerImpl::sourceEndOfStream( |
GetClient()->durationChanged(); |
} |
+bool WebMediaPlayerImpl::sourceSetTimestampOffset(const WebKit::WebString& id, |
+ double offset) { |
+ return proxy_->DemuxerSetTimestampOffset(id.utf8().data(), offset); |
+} |
+ |
WebKit::WebMediaPlayer::MediaKeyException |
WebMediaPlayerImpl::generateKeyRequest(const WebString& key_system, |
const unsigned char* init_data, |