Index: Source/core/html/HTMLMediaElement.h |
diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h |
index c23536717543a55edbcd52a853b83f52cbd19994..c5d20fe17a67786e5bc7a4d6c006417044fec778 100644 |
--- a/Source/core/html/HTMLMediaElement.h |
+++ b/Source/core/html/HTMLMediaElement.h |
@@ -231,6 +231,8 @@ public: |
void connectedToRemoteDevice(); |
void disconnectedFromRemoteDevice(); |
+ // Returns the MediaControls, or null if they have not been added yet. |
+ // Note that this can be non-null even if there is no controls attribute. |
MediaControls* mediaControls() const; |
void sourceWasRemoved(HTMLSourceElement*); |
@@ -410,7 +412,6 @@ private: |
void invalidateCachedTime(); |
void refreshCachedTime() const; |
- bool hasMediaControls() const; |
void ensureMediaControls(); |
void configureMediaControls(); |