| Index: webkit/media/webmediaplayer_impl.h
|
| diff --git a/webkit/media/webmediaplayer_impl.h b/webkit/media/webmediaplayer_impl.h
|
| index 47bb12df6e2261d26a9c2ef445ef53ae459a287e..83aa13a8bbe0005143226815a65cdb16f746c3f0 100644
|
| --- a/webkit/media/webmediaplayer_impl.h
|
| +++ b/webkit/media/webmediaplayer_impl.h
|
| @@ -198,6 +198,7 @@ class WebMediaPlayerImpl
|
| const unsigned char* data,
|
| unsigned length);
|
| virtual bool sourceAbort(const WebKit::WebString& id);
|
| + virtual void sourceSetDuration(double new_duration);
|
| virtual void sourceEndOfStream(EndOfStreamStatus status);
|
| virtual bool sourceSetTimestampOffset(const WebKit::WebString& id,
|
| double offset);
|
|
|