| Index: third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.h b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| index 6d9157f8db8f8c50a7e3d6a60212167a8dedaf9e..eec76ee112853b4490c8f12a6555e12ba0387b52 100644
|
| --- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| +++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h
|
| @@ -151,6 +151,7 @@ public:
|
|
|
| // controls
|
| bool shouldShowControls() const;
|
| + void recordShowControls() const;
|
| double volume() const;
|
| void setVolume(double, ExceptionState&);
|
| bool muted() const;
|
|
|