Index: Source/core/html/HTMLMediaElement.h |
diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h |
index 7c0acbcd7817fab0558cacc6cfd06f04c3344f78..b4beb77f63f5539b946ce494b50d4b4bb2937f52 100644 |
--- a/Source/core/html/HTMLMediaElement.h |
+++ b/Source/core/html/HTMLMediaElement.h |
@@ -360,6 +360,7 @@ private: |
virtual void mediaPlayerNetworkStateChanged() OVERRIDE FINAL; |
virtual void mediaPlayerReadyStateChanged() OVERRIDE FINAL; |
virtual void mediaPlayerTimeChanged() OVERRIDE FINAL; |
+ virtual void mediaPlayerEnded() OVERRIDE FINAL; |
virtual void mediaPlayerDurationChanged() OVERRIDE FINAL; |
virtual void mediaPlayerPlaybackStateChanged() OVERRIDE FINAL; |
virtual void mediaPlayerRequestFullscreen() OVERRIDE FINAL; |