| Index: media/base/android/media_source_player.h
|
| diff --git a/media/base/android/media_source_player.h b/media/base/android/media_source_player.h
|
| index 7db76c30fca05fd1489d15b3e95e5375deb8a161..fd262d7444bb9a7690677fd66bb44b1d9135b5c8 100644
|
| --- a/media/base/android/media_source_player.h
|
| +++ b/media/base/android/media_source_player.h
|
| @@ -67,6 +67,7 @@ class MEDIA_EXPORT MediaSourcePlayer : public MediaPlayerAndroid {
|
| virtual void ReadFromDemuxerAck(const DemuxerData& data) OVERRIDE;
|
| virtual void DurationChanged(const base::TimeDelta& duration) OVERRIDE;
|
| virtual void SetDrmBridge(MediaDrmBridge* drm_bridge) OVERRIDE;
|
| + virtual void OnKeyAdded() OVERRIDE;
|
|
|
| private:
|
| // Update the current timestamp.
|
|
|