| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index 6b9f538f3996d95b42729a19b187fa20ccfdcebe..1f054c9de09446d9b7eef50fa424ea83a49bbeeb 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -263,7 +263,7 @@ public:
|
| MediaController* controller() const;
|
| void setController(PassRefPtr<MediaController>); // Resets the MediaGroup and sets the MediaController.
|
|
|
| - void scheduleEvent(PassRefPtr<Event>);
|
| + void scheduleEvent(PassRefPtrWillBeRawPtr<Event>);
|
|
|
| // Current volume that should be used by the webMediaPlayer(). This method takes muted state
|
| // and m_mediaController multipliers into account.
|
|
|