| 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; | 
|  | 
|  |