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