Index: Source/core/html/HTMLMediaElement.h |
diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h |
index 774308fab390b5468fe3d0816d30e96d9a606a4f..851ce1dc91b9d7fb60c1af007d7ad405bb76b9e8 100644 |
--- a/Source/core/html/HTMLMediaElement.h |
+++ b/Source/core/html/HTMLMediaElement.h |
@@ -233,6 +233,7 @@ public: |
bool isFullscreen() const; |
void enterFullscreen(); |
+ void exitFullscreen(); |
bool hasClosedCaptions() const; |
bool closedCaptionsVisible() const; |