| Index: webkit/media/webmediaplayer_impl.cc
|
| diff --git a/webkit/media/webmediaplayer_impl.cc b/webkit/media/webmediaplayer_impl.cc
|
| index a8b4ab9743bec0b2913cb96cf4ac26825514b07b..b5f65d056bdb0ea80c3722ab69cc44e690c90894 100644
|
| --- a/webkit/media/webmediaplayer_impl.cc
|
| +++ b/webkit/media/webmediaplayer_impl.cc
|
| @@ -653,6 +653,11 @@ WebKit::WebMediaPlayer::AddIdStatus WebMediaPlayerImpl::sourceAddId(
|
| new_codecs));
|
| }
|
|
|
| +bool WebMediaPlayerImpl::sourceTimestampOffset(
|
| + const WebKit::WebString& id, double offset) {
|
| + return proxy_->DemuxerSetTimestampOffset(id.utf8().data(), offset);
|
| +}
|
| +
|
| bool WebMediaPlayerImpl::sourceRemoveId(const WebKit::WebString& id) {
|
| DCHECK(!id.isEmpty());
|
| proxy_->DemuxerRemoveId(id.utf8().data());
|
|
|