[webkit-changes] [WebKit/WebKit] 84eb23: `playing` event isn't fired as early as it should

[Jean-Yves Avenard]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 84eb2324cde995e9b53823137cb06a1af4aaf0d6
      https://github.com/WebKit/WebKit/commit/84eb2324cde995e9b53823137cb06a1af4aaf0d6
  Author: Jean-Yves Avenard <jya at apple.com>
  Date:   2023-03-22 (Wed, 22 Mar 2023)

  Changed paths:
    M Source/WebKit/WebProcess/GPU/media/MediaPlayerPrivateRemote.cpp

  Log Message:
  -----------
  `playing` event isn't fired as early as it should
https://bugs.webkit.org/show_bug.cgi?id=254256
rdar://107041118

Reviewed by Youenn Fablet.

Notify the HTMLMediaElement that the media time has changed on the first
change, bypassing the optimisation introduced by webkit.org/b/225396

Code will be exercised by media/media-source/media-source-end-of-stream-buffered.html
once the MockMediaPlayerMediaSource will be running in the GPU process
(webkit.org/b/225367)
* Source/WebKit/WebProcess/GPU/media/MediaPlayerPrivateRemote.cpp:
(WebKit::MediaPlayerPrivateRemote::currentTimeChanged):

Canonical link: https://commits.webkit.org/261959@main