| Index: third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.h b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| index d3d8cb9ff2129ed1bb357ade23ccad1ae4dbd8a0..47f8ef8fd699dcc1944dac5d0d67dc76eaa41719 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -403,6 +403,9 @@ class CORE_EXPORT HTMLMediaElement
|
| void progressEventTimerFired(TimerBase*);
|
| void playbackProgressTimerFired(TimerBase*);
|
| void checkViewportIntersectionTimerFired(TimerBase*);
|
| + static bool computeIsMostlyFillingViewport(const IntRect& targetRect,
|
| + const IntRect& rootRect,
|
| + const IntRect& intersectionRect);
|
| void startPlaybackProgressTimer();
|
| void startProgressEventTimer();
|
| void stopPeriodicTimers();
|
|
|