Index: Source/core/html/HTMLMediaElement.h |
diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h |
index 2e0967169a9dfeb35047ad8f7c99ae6f54dd9530..952127af9810f8b87bdaac5f21a7f20db0e2a4ef 100644 |
--- a/Source/core/html/HTMLMediaElement.h |
+++ b/Source/core/html/HTMLMediaElement.h |
@@ -508,6 +508,9 @@ private: |
// The last time a timeupdate event was sent (wall clock). |
double m_lastTimeUpdateEventWallTime; |
+ // The last time a timeupdate event was sent in movie time. |
+ double m_lastTimeUpdateEventMovieTime; |
+ |
// The default playback start position. |
double m_defaultPlaybackStartPosition; |