| Index: Source/core/html/MediaController.h
|
| diff --git a/Source/core/html/MediaController.h b/Source/core/html/MediaController.h
|
| index 1610e9aa21f2e5f3c6dbc5b73bcfb5e655c51e53..07938fa134a3e8c9dc7335431672cbb4c552031c 100644
|
| --- a/Source/core/html/MediaController.h
|
| +++ b/Source/core/html/MediaController.h
|
| @@ -55,7 +55,7 @@ public:
|
|
|
| double duration() const;
|
| double currentTime() const;
|
| - void setCurrentTime(double, ExceptionState&);
|
| + void setCurrentTime(double);
|
|
|
| bool paused() const { return m_paused; }
|
| void play();
|
|
|