[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