| Index: webkit/media/android/webmediaplayer_android.cc
|
| diff --git a/webkit/media/android/webmediaplayer_android.cc b/webkit/media/android/webmediaplayer_android.cc
|
| index ef8248ee9af952df578271e955df160667a4420b..20447374a74d11a5f500c5c0666a8719d83f17f9 100644
|
| --- a/webkit/media/android/webmediaplayer_android.cc
|
| +++ b/webkit/media/android/webmediaplayer_android.cc
|
| @@ -7,6 +7,7 @@
|
| #include "base/file_path.h"
|
| #include "base/logging.h"
|
| #include "media/base/android/media_player_bridge.h"
|
| +#include "media/base/video_frame.h"
|
| #include "net/base/mime_util.h"
|
| #include "third_party/WebKit/Source/WebKit/chromium/public/WebMediaPlayerClient.h"
|
| #include "webkit/media/android/stream_texture_factory_android.h"
|
|
|