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. |