Index: Source/platform/graphics/media/MediaPlayer.h |
diff --git a/Source/platform/graphics/media/MediaPlayer.h b/Source/platform/graphics/media/MediaPlayer.h |
index 5018be35e607a690a84d28bfdcdf2eb09d4e5ca4..c46521aa5a8ae93859574c8d01958acfbc3d5e95 100644 |
--- a/Source/platform/graphics/media/MediaPlayer.h |
+++ b/Source/platform/graphics/media/MediaPlayer.h |
@@ -52,6 +52,9 @@ public: |
// time has jumped, eg. not as a result of normal playback |
virtual void mediaPlayerTimeChanged() = 0; |
+ // the media has reached the end |
+ virtual void mediaPlayerEnded() = 0; |
+ |
// the media file duration has changed, or is now known |
virtual void mediaPlayerDurationChanged() = 0; |