| Index: content/renderer/render_view_impl.h
|
| diff --git a/content/renderer/render_view_impl.h b/content/renderer/render_view_impl.h
|
| index a3c674a536214328adf578cca307bfc76a0b5ca1..92c9ce9e7125481337724510d42332c4ba8d80c0 100644
|
| --- a/content/renderer/render_view_impl.h
|
| +++ b/content/renderer/render_view_impl.h
|
| @@ -96,7 +96,6 @@ class ResourceFetcher;
|
|
|
| #if defined(OS_ANDROID)
|
| namespace webkit_media {
|
| -class MediaPlayerBridgeManagerImpl;
|
| class WebMediaPlayerManagerAndroid;
|
| }
|
| #endif
|
| @@ -1423,10 +1422,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
|
|
|