| Index: webkit/media/webmediaplayer_impl.h
|
| diff --git a/webkit/media/webmediaplayer_impl.h b/webkit/media/webmediaplayer_impl.h
|
| index 2b4a34c198f89bf42486d0ceebcbca6fd140af92..22343cdc31ccf151e3f4f16259a1e9bb398c9ad1 100644
|
| --- a/webkit/media/webmediaplayer_impl.h
|
| +++ b/webkit/media/webmediaplayer_impl.h
|
| @@ -208,6 +208,8 @@ class WebMediaPlayerImpl
|
| unsigned length);
|
| virtual bool sourceAbort(const WebKit::WebString& id);
|
| virtual void sourceEndOfStream(EndOfStreamStatus status);
|
| + virtual bool sourceTimestampOffset(
|
| + const WebKit::WebString& id, double offset);
|
|
|
| virtual MediaKeyException generateKeyRequest(
|
| const WebKit::WebString& key_system,
|
|
|