| Index: third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.h b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| index c79fcd14884a95d168178bfe800110819fc03030..a22bbd3be274872171efaa3a03c98f1140273b33 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -28,7 +28,6 @@
|
| #define HTMLMediaElement_h
|
|
|
| #include <memory>
|
| -#include "bindings/core/v8/ActiveScriptWrappable.h"
|
| #include "bindings/core/v8/Nullable.h"
|
| #include "bindings/core/v8/ScriptPromise.h"
|
| #include "bindings/core/v8/TraceWrapperMember.h"
|
| @@ -42,6 +41,7 @@
|
| #include "platform/Supplementable.h"
|
| #include "platform/WebTaskRunner.h"
|
| #include "platform/audio/AudioSourceProvider.h"
|
| +#include "platform/bindings/ActiveScriptWrappable.h"
|
| #include "platform/network/mime/MIMETypeRegistry.h"
|
| #include "public/platform/WebAudioSourceProviderClient.h"
|
| #include "public/platform/WebMediaPlayerClient.h"
|
|
|