Replace HTMLMediaElement::player() calls with webMediaPlayer()

Source/core/rendering/RenderVideo.cpp

Index: Source/core/rendering/RenderVideo.cpp
diff --git a/Source/core/rendering/RenderVideo.cpp b/Source/core/rendering/RenderVideo.cpp
index 13f1cd1e58b5c9e453a683bd2a97ed219a00fc24..ffee7ff48de6fe59c997748e8bde365e22ab502a 100644
--- a/Source/core/rendering/RenderVideo.cpp
+++ b/Source/core/rendering/RenderVideo.cpp
@@ -144,7 +144,7 @@ bool RenderVideo::shouldDisplayVideo() const
 
 void RenderVideo::paintReplaced(PaintInfo& paintInfo, const LayoutPoint& paintOffset)
 {
-    MediaPlayer* mediaPlayer = mediaElement()->player();
+    WebMediaPlayer* mediaPlayer = mediaElement()->webMediaPlayer();
     bool displayingPoster = videoElement()->shouldDisplayPosterImage();
     if (!displayingPoster && !mediaPlayer)
         return;
@@ -199,7 +199,7 @@ void RenderVideo::updatePlayer()
 {
     updateIntrinsicSize();
 
-    MediaPlayer* mediaPlayer = mediaElement()->player();
+    WebMediaPlayer* mediaPlayer = mediaElement()->webMediaPlayer();
     if (!mediaPlayer)
         return;