| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index 2e0967169a9dfeb35047ad8f7c99ae6f54dd9530..f75c5770779044a9083b28bb8a8ce96a3c50900b 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -365,6 +365,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;
|
|
|