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