| Index: sky/engine/core/html/HTMLMediaElement.h
|
| diff --git a/sky/engine/core/html/HTMLMediaElement.h b/sky/engine/core/html/HTMLMediaElement.h
|
| index 556a5802a583203f8b9d3713bd69420261e74eb1..c177069f856695be46e666b65d26eb9be3fcfc04 100644
|
| --- a/sky/engine/core/html/HTMLMediaElement.h
|
| +++ b/sky/engine/core/html/HTMLMediaElement.h
|
| @@ -62,8 +62,6 @@ class HTMLMediaElement : public HTMLElement, public Supplementable<HTMLMediaElem
|
| public:
|
| static blink::WebMimeRegistry::SupportsType supportsType(const ContentType&, const String& keySystem = String());
|
|
|
| - virtual void trace(Visitor*) override;
|
| -
|
| // Do not use player().
|
| // FIXME: Replace all uses with webMediaPlayer() and remove this API.
|
| MediaPlayer* player() const { return m_player.get(); }
|
|
|