| Index: Source/core/html/HTMLMediaElement.cpp
|
| diff --git a/Source/core/html/HTMLMediaElement.cpp b/Source/core/html/HTMLMediaElement.cpp
|
| index 6d5c10d55dfe3ce3ff77473f5b76730b946d5a8e..043a9f8d166c2f933b2314b8c7ecaf3d635f5108 100644
|
| --- a/Source/core/html/HTMLMediaElement.cpp
|
| +++ b/Source/core/html/HTMLMediaElement.cpp
|
| @@ -1936,9 +1936,7 @@ void HTMLMediaElement::seek(double time, ExceptionState& exceptionState)
|
| // fire a 'seeked' event.
|
| double mediaTime = webMediaPlayer()->mediaTimeForTimeValue(time);
|
| if (time != mediaTime) {
|
| -#if !LOG_DISABLED
|
| WTF_LOG(Media, "HTMLMediaElement::seek(%f) - media timeline equivalent is %f", time, mediaTime);
|
| -#endif
|
| time = mediaTime;
|
| }
|
|
|
|
|