| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index 4f6b07ad97fd8db5208d98dfae9df53beb5e6d10..267fed348177d2d48ed76ed44f4f0e838a4ba609 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -395,6 +395,7 @@ private:
|
| void loadNextSourceChild();
|
| void userCancelledLoad();
|
| void clearMediaPlayer(int flags);
|
| + void clearMediaPlayerAndAudioSourceProviderClient();
|
| bool havePotentialSourceChild();
|
| void noneSupported();
|
| void mediaEngineError(PassRefPtr<MediaError> err);
|
|
|