| Index: Source/core/html/HTMLMediaElement.h | 
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h | 
| index 952127af9810f8b87bdaac5f21a7f20db0e2a4ef..8049fcc0ae2158461fd103afe7b6d8040118b550 100644 | 
| --- a/Source/core/html/HTMLMediaElement.h | 
| +++ b/Source/core/html/HTMLMediaElement.h | 
| @@ -272,8 +272,6 @@ public: | 
| void sourceWasRemoved(HTMLSourceElement*); | 
| void sourceWasAdded(HTMLSourceElement*); | 
|  | 
| -    bool isPlaying() const { return m_playing; } | 
| - | 
| // ActiveDOMObject functions. | 
| virtual bool hasPendingActivity() const OVERRIDE FINAL; | 
| virtual void contextDestroyed() OVERRIDE FINAL; | 
|  |