| Index: Source/core/html/HTMLMediaElement.h
 | 
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
 | 
| index 63f3ab8d68cf58ef98b73aa039900d32aa741496..da104907380d1c2633e513799570af261fedd608 100644
 | 
| --- a/Source/core/html/HTMLMediaElement.h
 | 
| +++ b/Source/core/html/HTMLMediaElement.h
 | 
| @@ -85,7 +85,7 @@ public:
 | 
|      blink::WebMediaPlayer* webMediaPlayer() const { return m_player ? m_player->webMediaPlayer() : 0; }
 | 
|  
 | 
|      virtual bool hasVideo() const { return false; }
 | 
| -    virtual bool hasAudio() const OVERRIDE FINAL;
 | 
| +    bool hasAudio() const;
 | 
|  
 | 
|      bool supportsSave() const;
 | 
|  
 | 
| @@ -152,10 +152,10 @@ public:
 | 
|      // controls
 | 
|      bool controls() const;
 | 
|      void setControls(bool);
 | 
| -    virtual double volume() const OVERRIDE FINAL;
 | 
| -    virtual void setVolume(double, ExceptionState&) OVERRIDE FINAL;
 | 
| -    virtual bool muted() const OVERRIDE FINAL;
 | 
| -    virtual void setMuted(bool) OVERRIDE FINAL;
 | 
| +    double volume() const;
 | 
| +    void setVolume(double, ExceptionState&);
 | 
| +    bool muted() const;
 | 
| +    void setMuted(bool);
 | 
|  
 | 
|      // play/pause toggling that uses the media controller if present. togglePlayStateWillPlay() is
 | 
|      // true if togglePlayState() will call play() or unpause() on the media element or controller.
 | 
| 
 |