| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index db317f5f58a4b61e62358f652528ffa95fa168b4..be97d13d48e75fdaf02549c1131e547eb453082f 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -557,8 +557,8 @@ private:
|
| bool m_processingPreferenceChange : 1;
|
| bool m_remoteRoutesAvailable : 1;
|
| bool m_playingRemotely : 1;
|
| -#if ENABLE(OILPAN)
|
| bool m_isFinalizing : 1;
|
| +#if ENABLE(OILPAN)
|
| bool m_closeMediaSourceWhenFinalizing : 1;
|
| #endif
|
| bool m_initialPlayWithoutUserGestures : 1;
|
|
|