| Index: Source/core/html/HTMLMediaElement.cpp
|
| diff --git a/Source/core/html/HTMLMediaElement.cpp b/Source/core/html/HTMLMediaElement.cpp
|
| index 5a0227cb669e184b2489cf827e58db18cc88db05..668704c85bccf60bf7f4669b67fed07d1316c509 100644
|
| --- a/Source/core/html/HTMLMediaElement.cpp
|
| +++ b/Source/core/html/HTMLMediaElement.cpp
|
| @@ -73,7 +73,7 @@
|
| #include "platform/NotImplemented.h"
|
| #include "platform/UserGestureIndicator.h"
|
| #include "public/platform/Platform.h"
|
| -#include "weborigin/SecurityOrigin.h"
|
| +#include "platform/weborigin/SecurityOrigin.h"
|
| #include "wtf/CurrentTime.h"
|
| #include "wtf/MathExtras.h"
|
| #include "wtf/NonCopyingSort.h"
|
|
|