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..47a26f4952042d7bfb17552d9fc663f433d34639 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 CancelSession(int media_keys_id, uint32 session_id); |
ddorwin
2013/12/20 23:59:52
ditto
Kibeom Kim (inactive)
2013/12/30 12:33:05
Done.
|
// Registers and unregisters a WebMediaPlayerAndroid object. |
int RegisterMediaPlayer(WebMediaPlayerAndroid* player); |
@@ -168,6 +169,7 @@ class RendererMediaPlayerManager : public RenderViewObserver { |
const std::string& destination_url); |
void OnSessionReady(int media_keys_id, uint32 session_id); |
void OnSessionClosed(int media_keys_id, uint32 session_id); |
+ void OnSessionApproved(int media_keys_id, uint32 session_id, bool success); |
void OnSessionError(int media_keys_id, |
uint32 session_id, |
media::MediaKeys::KeyError error_code, |