Index: Source/core/html/HTMLMediaElement.h |
diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h |
index 7a77dcd3e8b3569aebbd1813aed3a5c8adc26cf5..db317f5f58a4b61e62358f652528ffa95fa168b4 100644 |
--- a/Source/core/html/HTMLMediaElement.h |
+++ b/Source/core/html/HTMLMediaElement.h |
@@ -72,6 +72,7 @@ class VideoTrackList; |
class CORE_EXPORT HTMLMediaElement : public HTMLElement, public WillBeHeapSupplementable<HTMLMediaElement>, public MediaPlayerClient, public ActiveDOMObject { |
DEFINE_WRAPPERTYPEINFO(); |
WILL_BE_USING_GARBAGE_COLLECTED_MIXIN(HTMLMediaElement); |
+ WILL_BE_USING_PRE_FINALIZER(HTMLMediaElement, dispose); |
public: |
static WebMimeRegistry::SupportsType supportsType(const ContentType&, const String& keySystem = String()); |
@@ -288,6 +289,9 @@ public: |
protected: |
HTMLMediaElement(const QualifiedName&, Document&); |
virtual ~HTMLMediaElement(); |
+#if ENABLE(OILPAN) |
+ void dispose(); |
+#endif |
virtual void parseAttribute(const QualifiedName&, const AtomicString&) override; |
virtual void finishParsingChildren() override final; |