Index: content/renderer/render_view_impl.h |
diff --git a/content/renderer/render_view_impl.h b/content/renderer/render_view_impl.h |
index 64d4f39541a19e59afdfe4a875d0445c20cdfd01..9d8fdb7e53d2524a69e2ba11980a1d36e605c983 100644 |
--- a/content/renderer/render_view_impl.h |
+++ b/content/renderer/render_view_impl.h |
@@ -122,6 +122,12 @@ class ImageResourceFetcher; |
class ResourceFetcher; |
} |
+#if defined(OS_ANDROID) |
+namespace webkit_media { |
+class WebMediaPlayerManagerAndroid; |
+} |
+#endif |
+ |
namespace WebKit { |
class WebApplicationCacheHost; |
class WebApplicationCacheHostClient; |
@@ -244,6 +250,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( |
@@ -1365,6 +1377,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 |