| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index 4aeb78fc12c83e7ccae16436395f7b2bc49ef4f5..8e095759001e59dfae71f8830d2358cb9061eb1e 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -359,6 +359,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;
|
|
|