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 fa05bccdfa5a3e07cd4d9c2a4692a858e5a9c720..a2dccecc890c292e22997b9ce54da6d2f1939f08 100644 |
--- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
+++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
@@ -615,7 +615,7 @@ class CORE_EXPORT HTMLMediaElement |
ExecuteOnStopDelayingLoadEventTask |
}; |
DeferredLoadState m_deferredLoadState; |
- Timer<HTMLMediaElement> m_deferredLoadTimer; |
+ TaskRunnerTimer<HTMLMediaElement> m_deferredLoadTimer; |
mlamouri (slow - plz ping)
2017/02/22 12:10:03
Why wasn't it a TaskRunnerTimer<> like the others?
|
std::unique_ptr<WebMediaPlayer> m_webMediaPlayer; |
WebLayer* m_webLayer; |