WebCore:
[WebKit-https.git] / WebCore / html / HTMLMediaElement.h
index 53db7d9a65f99a382d8ef3bfa0cd17a1e5b34d9b..bac4c9f995a939afaf9fe73ba2baea5f2dea3eca 100644 (file)
@@ -49,6 +49,8 @@ public:
     virtual ~HTMLMediaElement();
 
     bool checkDTD(const Node* newChild);
+    
+    void attributeChanged(Attribute*, bool preserveDecls);
 
     virtual bool rendererIsNeeded(RenderStyle*) { return false; }
     virtual void insertedIntoDocument();