[webkit-changes] [WebKit/WebKit] 198db9: Use enums instead of strings in the media element ...

Jer Noble noreply at github.com
Thu Aug 8 20:25:45 PDT 2024


  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 198db9a5cfc097265b04e9c3d9a36ad05595630e
      https://github.com/WebKit/WebKit/commit/198db9a5cfc097265b04e9c3d9a36ad05595630e
  Author: Jer Noble <jer.noble at apple.com>
  Date:   2024-08-08 (Thu, 08 Aug 2024)

  Changed paths:
    M Source/WebCore/html/HTMLMediaElement.cpp

  Log Message:
  -----------
  Use enums instead of strings in the media element watchtime diagnostic logging
https://bugs.webkit.org/show_bug.cgi?id=277844
rdar://133504020

Reviewed by Eric Carlson.

Switching to enumerated integers rather than strings aligns better with the diagnostic
logging APIs, which prefer bounded enums over unbounded strings.

* Source/WebCore/html/HTMLMediaElement.cpp:
(WebCore::HTMLMediaElement::watchtimeTimerFired):

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



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


More information about the webkit-changes mailing list