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