| Index: Source/core/html/HTMLMediaElement.cpp
|
| diff --git a/Source/core/html/HTMLMediaElement.cpp b/Source/core/html/HTMLMediaElement.cpp
|
| index bd963af6036e4d3e65d818dbe64b27012f736784..c92378af69e370e0a9184232fa59dca013e996a7 100644
|
| --- a/Source/core/html/HTMLMediaElement.cpp
|
| +++ b/Source/core/html/HTMLMediaElement.cpp
|
| @@ -71,9 +71,9 @@
|
| #include "platform/NotImplemented.h"
|
| #include "platform/UserGestureIndicator.h"
|
| #include "platform/graphics/media/MediaPlayer.h"
|
| +#include "platform/weborigin/SecurityOrigin.h"
|
| #include "public/platform/Platform.h"
|
| #include "public/platform/WebInbandTextTrack.h"
|
| -#include "weborigin/SecurityOrigin.h"
|
| #include "wtf/CurrentTime.h"
|
| #include "wtf/MathExtras.h"
|
| #include "wtf/NonCopyingSort.h"
|
|
|