Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 319f86e9eb29dfd20b9cc9f273b7dbcfaeb0105d
https://github.com/WebKit/WebKit/commit/319f86e9eb29dfd20b9cc9f273b7dbcfaeb0105d
Author: Philippe Normand <ph...@igalia.com>
Date: 2024-09-24 (Tue, 24 Sep 2024)
Changed paths:
M Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp
Log Message:
-----------
REGRESSION(193933@main): The initial player current time should be 0, not
invalidTime()
https://bugs.webkit.org/show_bug.cgi?id=280171
Reviewed by Xabier Rodriguez-Calvar.
According to
https://html.spec.whatwg.org/multipage/media.html#loading-the-media-resource
step 7.8,
Set the current playback position to 0.
MediaTime::invalidTime() not being a valid time, the initial position reported
by the media element
was NaN.
* Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp:
(WebCore::MediaPlayerPrivateGStreamer::currentTime const):
Canonical link: https://commits.webkit.org/284149@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes
