| Index: public/platform/WebMediaPlayerClient.h
|
| diff --git a/public/platform/WebMediaPlayerClient.h b/public/platform/WebMediaPlayerClient.h
|
| index 015e70d3847649d8d6d3a4724be6be9bf344b2c3..a564108499a3b0f8b1b86a1ad9037c4294b6ec29 100644
|
| --- a/public/platform/WebMediaPlayerClient.h
|
| +++ b/public/platform/WebMediaPlayerClient.h
|
| @@ -76,6 +76,7 @@ public:
|
| virtual void networkStateChanged() = 0;
|
| virtual void readyStateChanged() = 0;
|
| virtual void timeChanged() = 0;
|
| + virtual void mediaEnded() = 0;
|
| virtual void repaint() = 0;
|
| virtual void durationChanged() = 0;
|
| virtual void sizeChanged() = 0;
|
|
|