Remove HTMLMediaElement::hasMediaControls()

Source/core/html/HTMLMediaElement.h

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();