| 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 98109b402f462261a598b3d5f50c87f9b4751720..e650af632ce3a90e4ceb6f41bfc7d787e025b17e 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -36,10 +36,10 @@
|
| #include "core/events/GenericEventQueue.h"
|
| #include "core/html/HTMLElement.h"
|
| #include "core/html/track/TextTrack.h"
|
| -#include "platform/MIMETypeRegistry.h"
|
| #include "platform/Supplementable.h"
|
| #include "platform/WebTaskRunner.h"
|
| #include "platform/audio/AudioSourceProvider.h"
|
| +#include "platform/network/mime/MIMETypeRegistry.h"
|
| #include "public/platform/WebAudioSourceProviderClient.h"
|
| #include "public/platform/WebMediaPlayerClient.h"
|
| #include <memory>
|
|
|