| Index: Source/WebCore/html/HTMLMediaElement.h
|
| diff --git a/Source/WebCore/html/HTMLMediaElement.h b/Source/WebCore/html/HTMLMediaElement.h
|
| index 11de6c61f4ee02ef41d68c75735f2b1cb818deb9..ed44423b69c23552a8489d76c57e8ceb4f903e1a 100644
|
| --- a/Source/WebCore/html/HTMLMediaElement.h
|
| +++ b/Source/WebCore/html/HTMLMediaElement.h
|
| @@ -178,10 +178,8 @@ public:
|
| unsigned webkitVideoDecodedByteCount() const;
|
| #endif
|
|
|
| -#if ENABLE(MEDIA_SOURCE)
|
| // Media Source.
|
| void setSourceState(const String&);
|
| -#endif
|
|
|
| #if ENABLE(ENCRYPTED_MEDIA)
|
| void webkitGenerateKeyRequest(const String& keySystem, PassRefPtr<Uint8Array> initData, ExceptionCode&);
|
| @@ -643,9 +641,7 @@ private:
|
| // calling the media engine recursively.
|
| int m_processingMediaPlayerCallback;
|
|
|
| -#if ENABLE(MEDIA_SOURCE)
|
| RefPtr<MediaSource> m_mediaSource;
|
| -#endif
|
|
|
| mutable float m_cachedTime;
|
| mutable double m_cachedTimeWallClockUpdateTime;
|
|
|