| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index 63f3ab8d68cf58ef98b73aa039900d32aa741496..843b6fe010472f97ebaec9915c0e53dd20a0fb66 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -264,7 +264,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.
|
|
|