[webkit-changes] [WebKit/WebKit] 2413d1: Cherry-pick 284149 at main (319f86e9eb29). https://bu...

[Philippe Normand]

  Branch: refs/heads/webkitglib/2.46
  Home:   https://github.com/WebKit/WebKit
  Commit: 2413d14d5595194d5b766469deaab32d6d196f4b
      https://github.com/WebKit/WebKit/commit/2413d14d5595194d5b766469deaab32d6d196f4b
  Author: Philippe Normand <philn at igalia.com>
  Date:   2024-09-24 (Tue, 24 Sep 2024)

  Changed paths:
    M Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp

  Log Message:
  -----------
  Cherry-pick 284149 at main (319f86e9eb29). https://bugs.webkit.org/show_bug.cgi?id=280171

    REGRESSION(193933 at 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

Canonical link: https://commits.webkit.org/282416.130@webkitglib/2.46



To unsubscribe from these emails, change your notification settings at https://github.com/WebKit/WebKit/settings/notifications