| 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 a90d46750ed94108f3485e12de823c6ced35d227..4fa8f8816f25f510cd52b2568729a899f1166c84 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -375,6 +375,7 @@ private:
|
| void clearMediaPlayer();
|
| void clearMediaPlayerAndAudioSourceProviderClientWithoutLocking();
|
| bool havePotentialSourceChild();
|
| + void reportPlayerErrorToDevToolsConsole();
|
| void noneSupported();
|
| void mediaEngineError(MediaError*);
|
| void cancelPendingEventsAndCallbacks();
|
|
|