| 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;
|
|
|