Index: webkit/media/webmediaplayer_proxy.h |
diff --git a/webkit/media/webmediaplayer_proxy.h b/webkit/media/webmediaplayer_proxy.h |
index dd5dc6fe6c44a3fcf750ddf1c674dd8d8f4e331c..e5cc92f7bc23676c2a72c39eba6f635e4ce5e107 100644 |
--- a/webkit/media/webmediaplayer_proxy.h |
+++ b/webkit/media/webmediaplayer_proxy.h |
@@ -87,6 +87,7 @@ class WebMediaPlayerProxy |
void PipelineSeekCallback(media::PipelineStatus status); |
void PipelineEndedCallback(media::PipelineStatus status); |
void PipelineErrorCallback(media::PipelineStatus error); |
+ void PipelineDurationChangedCallback(); |
// ChunkDemuxerClient implementation. |
virtual void DemuxerOpened(media::ChunkDemuxer* demuxer) OVERRIDE; |
@@ -140,6 +141,9 @@ class WebMediaPlayerProxy |
// Notify |webmediaplayer_| that the media has ended. |
void PipelineEndedTask(media::PipelineStatus status); |
+ // Notify |webmediaplayer_| that the media has a new duration. |
+ void PipelineDurationChangedTask(); |
+ |
// Notify |webmediaplayer_| that a pipeline error has occurred during |
// playback. |
void PipelineErrorTask(media::PipelineStatus error); |