Add a download button to the media player

third_party/WebKit/Source/core/paint/MediaControlsPainter.cpp

Index: third_party/WebKit/Source/core/paint/MediaControlsPainter.cpp
diff --git a/third_party/WebKit/Source/core/paint/MediaControlsPainter.cpp b/third_party/WebKit/Source/core/paint/MediaControlsPainter.cpp
index 93047acb97337bea5d83f4b494e2305f482d15bb..0d5a2fcdb0160c3e84a4682e4eefd196bb8c94ee 100644
--- a/third_party/WebKit/Source/core/paint/MediaControlsPainter.cpp
+++ b/third_party/WebKit/Source/core/paint/MediaControlsPainter.cpp
@@ -614,6 +614,16 @@ bool MediaControlsPainter::paintMediaOverflowMenu(const LayoutObject& object, co
     return paintMediaButton(paintInfo.context, rect, mediaOverflowButton);
 }
 
+bool MediaControlsPainter::paintMediaDownloadIcon(const LayoutObject& object, const PaintInfo& paintInfo, const IntRect& rect)
+{
+    const HTMLMediaElement* mediaElement = toParentMediaElement(object);
+    if (!mediaElement)
+        return false;
+
+    static Image* mediaDownloadIcon = platformResource("mediaplayerDownloadIcon");
+    return paintMediaButton(paintInfo.context, rect, mediaDownloadIcon);
+}
+
 void MediaControlsPainter::adjustMediaSliderThumbSize(ComputedStyle& style)
 {
     static Image* mediaSliderThumb = platformResource("mediaplayerSliderThumb",