Index: content/renderer/render_view_impl.h |
diff --git a/content/renderer/render_view_impl.h b/content/renderer/render_view_impl.h |
index 64085806118d287c739193f6de4aa3a704a384a5..1668e8405229dfb5c8a66a75b43bb92db8361d36 100644 |
--- a/content/renderer/render_view_impl.h |
+++ b/content/renderer/render_view_impl.h |
@@ -119,6 +119,12 @@ class ImageResourceFetcher; |
class ResourceFetcher; |
} |
+#if defined(OS_ANDROID) |
+namespace webkit_media { |
+class WebMediaPlayerManagerAndroid; |
+} |
+#endif |
+ |
namespace WebKit { |
class WebApplicationCacheHost; |
class WebApplicationCacheHostClient; |
@@ -240,6 +246,12 @@ class RenderViewImpl : public RenderWidget, |
return mouse_lock_dispatcher_; |
} |
+#if defined(OS_ANDROID) |
+ webkit_media::WebMediaPlayerManagerAndroid* media_player_manager() { |
+ return media_player_manager_.get(); |
+ } |
+#endif |
+ |
WebKit::WebPeerConnectionHandler* CreatePeerConnectionHandler( |
WebKit::WebPeerConnectionHandlerClient* client); |
WebKit::WebPeerConnection00Handler* CreatePeerConnectionHandlerJsep( |
@@ -1321,6 +1333,11 @@ class RenderViewImpl : public RenderWidget, |
// Wraps the |webwidget_| as a MouseLockDispatcher::LockTarget interface. |
scoped_ptr<MouseLockDispatcher::LockTarget> webwidget_mouse_lock_target_; |
+#if defined(OS_ANDROID) |
+ // The media player manager for managing all the media players on this view. |
+ scoped_ptr<webkit_media::WebMediaPlayerManagerAndroid> media_player_manager_; |
+#endif |
+ |
// Plugins ------------------------------------------------------------------- |
// All the currently active plugin delegates for this RenderView; kept so |