2011-02-01 Adam Barth <abarth@webkit.org>
[WebKit.git] / Source / WebCore / html / HTMLMediaElement.cpp
index ec1e5e18e3b1c3a8e472ac9218e281f925295895..9f11aa5e488b9c0183f8fccf982ee4509db61539 100644 (file)
@@ -2392,7 +2392,7 @@ void HTMLMediaElement::createMediaPlayerProxy()
         m_needWidgetUpdate = false;
 }
 
         m_needWidgetUpdate = false;
 }
 
-void HTMLMediaElement::updateWidget(bool)
+void HTMLMediaElement::updateWidget(PluginCreationOption)
 {
     mediaElement->setNeedWidgetUpdate(false);
 
 {
     mediaElement->setNeedWidgetUpdate(false);