| Index: webkit/media/webmediaplayer_proxy.h
|
| diff --git a/webkit/media/webmediaplayer_proxy.h b/webkit/media/webmediaplayer_proxy.h
|
| index 747a45cb60bbef44345e23f7e958e3d6e8b50a0e..1c78204930cb0b634535a6333c8fe5d1b845f98b 100644
|
| --- a/webkit/media/webmediaplayer_proxy.h
|
| +++ b/webkit/media/webmediaplayer_proxy.h
|
| @@ -93,6 +93,7 @@ class WebMediaPlayerProxy
|
|
|
| // Methods for Demuxer communication.
|
| void DemuxerStartWaitingForSeek();
|
| + void DemuxerCancelPendingSeek();
|
| media::ChunkDemuxer::Status DemuxerAddId(const std::string& id,
|
| const std::string& type,
|
| std::vector<std::string>& codecs);
|
|
|