X-Git-Url: https://git.webkit.org/?p=WebKit.git;a=blobdiff_plain;f=Source%2FWebCore%2Fhtml%2FHTMLMediaElement.cpp;h=9f11aa5e488b9c0183f8fccf982ee4509db61539;hp=ec1e5e18e3b1c3a8e472ac9218e281f925295895;hb=12c7af02dcd0b177982d98472dedd8156b767fbc;hpb=2b00660045a9a27b0ff77197a100a7264adf01c5 diff --git a/Source/WebCore/html/HTMLMediaElement.cpp b/Source/WebCore/html/HTMLMediaElement.cpp index ec1e5e18e3b1..9f11aa5e488b 100644 --- a/Source/WebCore/html/HTMLMediaElement.cpp +++ b/Source/WebCore/html/HTMLMediaElement.cpp @@ -2392,7 +2392,7 @@ void HTMLMediaElement::createMediaPlayerProxy() m_needWidgetUpdate = false; } -void HTMLMediaElement::updateWidget(bool) +void HTMLMediaElement::updateWidget(PluginCreationOption) { mediaElement->setNeedWidgetUpdate(false);