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; |