| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index eedbc78d5d3d59e0ebc3c467deb26b031a2fb78e..296b1c7c8ef5fc9ef75663c382ca3b768f7912ed 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -157,7 +157,7 @@ public:
|
| unsigned webkitVideoDecodedByteCount() const;
|
|
|
| // Media Source.
|
| - void setSourceState(const String&);
|
| + void closeMediaSource();
|
|
|
| #if ENABLE(ENCRYPTED_MEDIA)
|
| void webkitGenerateKeyRequest(const String& keySystem, PassRefPtr<Uint8Array> initData, ExceptionCode&);
|
| @@ -565,7 +565,7 @@ private:
|
| // calling the media engine recursively.
|
| int m_processingMediaPlayerCallback;
|
|
|
| - RefPtr<MediaSource> m_mediaSource;
|
| + RefPtr<WebKitMediaSource> m_mediaSource;
|
|
|
| mutable double m_cachedTime;
|
| mutable double m_cachedTimeWallClockUpdateTime;
|
|
|