| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index 8e57398939fa7621e5ae152e5d21ecdaa488dbe1..1d062560a4ca6264fc0da0b46d9157351eea507a 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -287,9 +287,8 @@ public:
|
|
|
| void scheduleEvent(PassRefPtrWillBeRawPtr<Event>);
|
|
|
| - // Current volume that should be used by the webMediaPlayer(). This method takes muted state
|
| - // and m_mediaController multipliers into account.
|
| - double playerVolume() const;
|
| + // Returns the "effective media volume" value as specified in the HTML5 spec.
|
| + double effectiveMediaVolume() const;
|
|
|
| #if ENABLE(OILPAN)
|
| bool isFinalizing() const { return m_isFinalizing; }
|
|
|