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 36a4468e652c81d657a72a540132f95eb128ed3a..c047583a3cd6c5dd82ef279c55b701f8fd059ab5 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> |