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 cc59b2ca22693d76908fdf1a8c1f79d9284fa02c..71f8f58ca8368852b503db00825758bdb698563a 100644 |
--- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
+++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
@@ -442,6 +442,8 @@ private: |
void removeUserGestureRequirement(); |
void setInitialPlayWithoutUserGestures(bool); |
+ void setNetworkState(NetworkState); |
+ |
void audioTracksTimerFired(Timer<HTMLMediaElement>*); |
Timer<HTMLMediaElement> m_loadTimer; |