| 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..f46bde56287451adf98c80ff2a861f8efac5bf45 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -347,7 +347,7 @@ private:
|
| void scheduleEvent(const AtomicString& eventName); // FIXME: Rename to scheduleNamedEvent for clarity.
|
|
|
| // loading
|
| - void prepareForLoad();
|
| + void invokeLoadAlgorith();
|
| void loadInternal();
|
| void selectMediaResource();
|
| void loadResource(const KURL&, ContentType&, const String& keySystem);
|
| @@ -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();
|
|
|