Index: webkit/media/webmediaplayer_impl.cc |
=================================================================== |
--- webkit/media/webmediaplayer_impl.cc (revision 176733) |
+++ webkit/media/webmediaplayer_impl.cc (working copy) |
@@ -24,12 +24,12 @@ |
#include "media/filters/audio_renderer_impl.h" |
#include "media/filters/chunk_demuxer.h" |
#include "media/filters/video_renderer_base.h" |
+#include "third_party/WebKit/Source/Platform/chromium/public/WebRect.h" |
+#include "third_party/WebKit/Source/Platform/chromium/public/WebSize.h" |
+#include "third_party/WebKit/Source/Platform/chromium/public/WebString.h" |
+#include "third_party/WebKit/Source/Platform/chromium/public/WebURL.h" |
#include "third_party/WebKit/Source/WebKit/chromium/public/WebRuntimeFeatures.h" |
#include "third_party/WebKit/Source/WebKit/chromium/public/WebView.h" |
-#include "third_party/WebKit/Source/WebKit/chromium/public/platform/WebRect.h" |
-#include "third_party/WebKit/Source/WebKit/chromium/public/platform/WebSize.h" |
-#include "third_party/WebKit/Source/WebKit/chromium/public/platform/WebString.h" |
-#include "third_party/WebKit/Source/WebKit/chromium/public/platform/WebURL.h" |
#include "v8/include/v8.h" |
#include "webkit/media/buffered_data_source.h" |
#include "webkit/media/filter_helpers.h" |