| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index cb4e147e278d2438c1a5aca34207cc9b7ca8a063..04bd4e648a8ed0d80dd2ef1f33b57f94321acca1 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -221,6 +221,8 @@ public:
|
| bool hasSingleSecurityOrigin() const { return !m_player || (webMediaPlayer() && webMediaPlayer()->hasSingleSecurityOrigin()); }
|
|
|
| bool isFullscreen() const;
|
| + void enterFullscreen();
|
| + void exitFullscreen();
|
|
|
| bool hasClosedCaptions() const;
|
| bool closedCaptionsVisible() const;
|
|
|