| Index: webkit/media/webmediaplayer_proxy.h
|
| diff --git a/webkit/media/webmediaplayer_proxy.h b/webkit/media/webmediaplayer_proxy.h
|
| index 9e6ca4ffe240ad0b417255214c27c030170eadb6..d987d5e14d403301d06d5ac2095e90bdc444bef9 100644
|
| --- a/webkit/media/webmediaplayer_proxy.h
|
| +++ b/webkit/media/webmediaplayer_proxy.h
|
| @@ -89,6 +89,7 @@ class WebMediaPlayerProxy
|
| media::Ranges<base::TimeDelta> DemuxerBufferedRange(const std::string& id);
|
| bool DemuxerAppend(const std::string& id, const uint8* data, size_t length);
|
| void DemuxerAbort(const std::string& id);
|
| + void DemuxerSetDuration(base::TimeDelta duration);
|
| void DemuxerEndOfStream(media::PipelineStatus status);
|
| void DemuxerShutdown();
|
| bool DemuxerSetTimestampOffset(const std::string& id, base::TimeDelta offset);
|
|
|