| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index 329b5616cb866b64bfea6de458c88d8faaf54aff..e3a870b77b440c85b17e64b7b0cf574140d364e6 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -531,10 +531,6 @@ private:
|
|
|
| bool m_pausedInternal : 1;
|
|
|
| - // Not all media engines provide enough information about a file to be able to
|
| - // support progress events so setting m_sendProgressEvents disables them
|
| - bool m_sendProgressEvents : 1;
|
| -
|
| bool m_closedCaptionsVisible : 1;
|
|
|
| bool m_loadInitiatedByUserGesture : 1;
|
|
|