| 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 cf1a48f3b09c7569e3a28bcac744ff27d8bca402..371ab402494eed608247e7d4f56108bd02005df3 100644
|
| --- a/content/renderer/media/android/renderer_media_player_manager.h
|
| +++ b/content/renderer/media/android/renderer_media_player_manager.h
|
| @@ -101,6 +101,7 @@ class RendererMediaPlayerManager : public RenderViewObserver {
|
| uint32 session_id,
|
| const std::vector<uint8>& response);
|
| void ReleaseSession(int media_keys_id, uint32 session_id);
|
| + void CancelAllPendingSessionCreations(int media_keys_id);
|
|
|
| // Registers and unregisters a WebMediaPlayerAndroid object.
|
| int RegisterMediaPlayer(WebMediaPlayerAndroid* player);
|
|
|