| Index: Source/platform/graphics/media/MediaPlayer.h
|
| diff --git a/Source/platform/graphics/media/MediaPlayer.h b/Source/platform/graphics/media/MediaPlayer.h
|
| index 8a802a28dc5a497322527b176da00f0f09d7d41e..0be5d5e7c72ad8f59d6192bde72aea1081c79421 100644
|
| --- a/Source/platform/graphics/media/MediaPlayer.h
|
| +++ b/Source/platform/graphics/media/MediaPlayer.h
|
| @@ -54,6 +54,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;
|
|
|
|
|