Index: content/renderer/media/android/renderer_media_player_manager.h |
diff --git a/content/renderer/media/android/renderer_media_player_manager.h b/content/renderer/media/android/renderer_media_player_manager.h |
index 2baa846a0ade73eceb100b3954c9e2e228a1e36f..9976488814d81f577fba7a7b866628763dc03534 100644 |
--- a/content/renderer/media/android/renderer_media_player_manager.h |
+++ b/content/renderer/media/android/renderer_media_player_manager.h |
@@ -116,6 +116,9 @@ class RendererMediaPlayerManager : |
#endif // defined(VIDEO_HOLE) |
private: |
+ // RenderFrameObserver implementation. |
+ void OnDestruct() override; |
+ |
// Message handlers. |
void OnMediaMetadataChanged(int player_id, |
base::TimeDelta duration, |