| Index: content/renderer/render_view_impl.h
|
| diff --git a/content/renderer/render_view_impl.h b/content/renderer/render_view_impl.h
|
| index 4d52db7abc8051936e2fd1fca31ec61f3e4eca01..aeb29a39a42373de64a4c44c5435a74c5442f51d 100644
|
| --- a/content/renderer/render_view_impl.h
|
| +++ b/content/renderer/render_view_impl.h
|
| @@ -97,7 +97,6 @@ class ResourceFetcher;
|
|
|
| #if defined(OS_ANDROID)
|
| namespace webkit_media {
|
| -class MediaPlayerBridgeManagerImpl;
|
| class WebMediaPlayerManagerAndroid;
|
| }
|
| #endif
|
| @@ -1432,10 +1431,6 @@ class CONTENT_EXPORT RenderViewImpl
|
| // The media player manager for managing all the media players on this view.
|
| scoped_ptr<webkit_media::WebMediaPlayerManagerAndroid> media_player_manager_;
|
|
|
| - // Resource manager for all the android media player objects if they are
|
| - // created in the renderer process.
|
| - scoped_ptr<webkit_media::MediaPlayerBridgeManagerImpl> media_bridge_manager_;
|
| -
|
| // A date/time picker object for date and time related input elements.
|
| scoped_ptr<RendererDateTimePicker> date_time_picker_client_;
|
| #endif
|
|
|