| 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 45d334511034aa5cb6bb419cc73886f978b509b9..ce8c7e38bb14ef568c0aac92b25102f74fafd4df 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -356,7 +356,7 @@ private:
|
| WebMediaPlayer::LoadType loadType() const;
|
| void scheduleNextSourceChild();
|
| void loadNextSourceChild();
|
| - void clearMediaPlayer(int flags);
|
| + void resetMediaElement(int flags);
|
| void clearMediaPlayerAndAudioSourceProviderClientWithoutLocking();
|
| bool havePotentialSourceChild();
|
| void noneSupported();
|
|
|