| Index: third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp b/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| index 614c6ce029563ab390b6395af1f1e283eed2f81d..63ef61ca2a06a1e68c91240cb9bc8d7ff74d5038 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.cpp
|
| @@ -3752,6 +3752,16 @@ void HTMLMediaElement::setInitialPlayWithoutUserGestures(bool value)
|
| m_initialPlayWithoutUserGesture = value;
|
| }
|
|
|
| +void HTMLMediaElement::notifyPositionMayHaveChanged()
|
| +{
|
| + m_autoplayHelper.positionChanged();
|
| +}
|
| +
|
| +void HTMLMediaElement::triggerAutoplayViewportCheck()
|
| +{
|
| + m_autoplayHelper.triggerAutoplayViewportCheck();
|
| +}
|
| +
|
| #if ENABLE(WEB_AUDIO)
|
| void HTMLMediaElement::clearWeakMembers(Visitor* visitor)
|
| {
|
|
|