| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index 5b2756e307c7194f13580ffbab0eaf47f58488ee..b797b4c26fbef2ac93ea248ba2f361756884ab8f 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -158,8 +158,7 @@ public:
|
| void durationChanged(double duration, bool requestSeek);
|
|
|
| // controls
|
| - bool controls() const;
|
| - void setControls(bool);
|
| + bool shouldShowControls() const;
|
| double volume() const;
|
| void setVolume(double, ExceptionState&);
|
| bool muted() const;
|
|
|