| Index: webkit/api/public/WebMediaPlayer.h
|
| diff --git a/webkit/api/public/WebMediaPlayer.h b/webkit/api/public/WebMediaPlayer.h
|
| index 740b89493ed859b563e295b7b9f54cbb99e2bfdd..8b60c77fb613d4c67103f65efe4b2816bc204163 100644
|
| --- a/webkit/api/public/WebMediaPlayer.h
|
| +++ b/webkit/api/public/WebMediaPlayer.h
|
| @@ -67,6 +67,8 @@ namespace WebKit {
|
| // Playback controls.
|
| virtual void play() = 0;
|
| virtual void pause() = 0;
|
| + virtual bool supportsFullscreen() const = 0;
|
| + virtual bool supportsSave() const = 0;
|
| virtual void seek(float seconds) = 0;
|
| virtual void setEndTime(float seconds) = 0;
|
| virtual void setRate(float) = 0;
|
|
|