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