WebKit Bugzilla
New
Browse
Search+
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
224818
[Media] Allow access to MediaElement id from MediaPlayerPrivate
https://bugs.webkit.org/show_bug.cgi?id=224818
Summary
[Media] Allow access to MediaElement id from MediaPlayerPrivate
Philippe Normand
Reported
2021-04-20 09:25:29 PDT
That could be useful for accurate naming of the internal player/pipeline in the MediaPlayerPrivate.
Attachments
Patch
(11.00 KB, patch)
2021-04-20 09:31 PDT
,
Philippe Normand
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Philippe Normand
Comment 1
2021-04-20 09:31:14 PDT
Created
attachment 426556
[details]
Patch
EWS
Comment 2
2021-04-23 02:46:09 PDT
Committed
r276493
(
236952@main
): <
https://commits.webkit.org/236952@main
> All reviewed patches have been landed. Closing bug and clearing flags on
attachment 426556
[details]
.
Philippe Normand
Comment 3
2021-04-23 06:31:28 PDT
Follow-up in
r276495
.
Radar WebKit Bug Importer
Comment 4
2021-04-24 15:03:27 PDT
<
rdar://problem/77110035
>
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug