| Index: media/blink/webmediaplayer_cast_android.h
|
| diff --git a/media/blink/webmediaplayer_cast_android.h b/media/blink/webmediaplayer_cast_android.h
|
| index 2707e885fedfdb85f584d747e789f81bbae46146..7e77f423b964b5ff7895c11af1d2a5fdec79d123 100644
|
| --- a/media/blink/webmediaplayer_cast_android.h
|
| +++ b/media/blink/webmediaplayer_cast_android.h
|
| @@ -106,6 +106,8 @@ class WebMediaPlayerCast : public RendererMediaPlayerInterface {
|
| scoped_refptr<VideoFrame> GetCastingBanner();
|
|
|
| private:
|
| + base::TimeDelta GetDuration();
|
| +
|
| WebMediaPlayerImpl* webmediaplayer_;
|
| blink::WebMediaPlayerClient* client_;
|
| WebMediaPlayerParams::Context3DCB context_3d_cb_;
|
| @@ -128,6 +130,7 @@ class WebMediaPlayerCast : public RendererMediaPlayerInterface {
|
| // Last reported playout time.
|
| base::TimeDelta remote_time_;
|
| base::TimeTicks remote_time_at_;
|
| + base::TimeDelta duration_;
|
|
|
| // Whether the media player has been initialized.
|
| bool is_player_initialized_ = false;
|
|
|