WIP - WebMediaPlayer switch media renderer.

third_party/WebKit/Source/core/html/HTMLMediaElement.h

Index: third_party/WebKit/Source/core/html/HTMLMediaElement.h
diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.h b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
index 2505616af94ea7ca993426a45f40c022475b1f5b..1b0d60d12f3d3884856ba8a72ea82df6aa5edc06 100644
--- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
+++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
@@ -278,6 +278,11 @@ public:
     WebRemotePlaybackClient* remotePlaybackClient() { return m_remotePlaybackClient; }
     void setRemotePlaybackClient(WebRemotePlaybackClient*);
 
+    // Indicates whether any parent of this element enters / exits full screen.
+    void parentEnteredFullscreen();
+    void parentExitedFullscreen();
+    bool isParentInFullscreen() const { return m_isParentInFullscreen; }
+
 protected:
     HTMLMediaElement(const QualifiedName&, Document&);
     ~HTMLMediaElement() override;
@@ -685,6 +690,9 @@ private:
     Member<ElementVisibilityObserver> m_autoplayVisibilityObserver;
 
     static URLRegistry* s_mediaStreamRegistry;
+
+    // Indicates whether any parent element is the full screen element.
+    bool m_isParentInFullscreen;
 };
 
 inline bool isHTMLMediaElement(const HTMLElement& element)