| Index: third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp b/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| index b46bfeea7b10634550fae3bd47eaf54b859c8ee3..01ab8a08ebf24f4e57d0adcb1c5688f70031fb5f 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| @@ -82,6 +82,7 @@
|
| #include "platform/audio/AudioSourceProviderClient.h"
|
| #include "platform/graphics/GraphicsLayer.h"
|
| #include "platform/mediastream/MediaStreamDescriptor.h"
|
| +#include "platform/scheduler/CancellableTaskFactory.h"
|
| #include "platform/weborigin/SecurityOrigin.h"
|
| #include "public/platform/Platform.h"
|
| #include "public/platform/WebAudioSourceProvider.h"
|
|
|