| Index: public/platform/WebMediaPlayerClient.h
|
| diff --git a/public/platform/WebMediaPlayerClient.h b/public/platform/WebMediaPlayerClient.h
|
| index 48043d37ad2c4c7fe82914c1829a4c771fef9e09..81e7fc8d3d155cad273b2d9967c0162e9420df46 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;
|
|
|