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
117874
HTMLMediaElement should inherit from MediaPlayerClient privately
https://bugs.webkit.org/show_bug.cgi?id=117874
Summary
HTMLMediaElement should inherit from MediaPlayerClient privately
Allan Sandfeld Jensen
Reported
2013-06-21 06:27:13 PDT
HTMLMediaElement was stuck with public inheritance from MediaPlayerClient due to the Chromium port. This can now be fixed to a private inheritance.
Attachments
Patch
(1.99 KB, patch)
2013-06-21 06:30 PDT
,
Allan Sandfeld Jensen
no flags
Details
Formatted Diff
Diff
Patch
(4.26 KB, patch)
2013-06-24 02:50 PDT
,
Allan Sandfeld Jensen
kling
: review+
Details
Formatted Diff
Diff
Show Obsolete
(1)
View All
Add attachment
proposed patch, testcase, etc.
Allan Sandfeld Jensen
Comment 1
2013-06-21 06:30:10 PDT
Created
attachment 205176
[details]
Patch
Andreas Kling
Comment 2
2013-06-21 08:36:44 PDT
Comment on
attachment 205176
[details]
Patch Sweet fix!
Allan Sandfeld Jensen
Comment 3
2013-06-21 09:02:18 PDT
Comment on
attachment 205176
[details]
Patch Clearing flags on attachment: 205176 Committed
r151838
: <
http://trac.webkit.org/changeset/151838
>
Allan Sandfeld Jensen
Comment 4
2013-06-21 09:02:24 PDT
All reviewed patches have been landed. Closing bug.
WebKit Commit Bot
Comment 5
2013-06-21 09:46:07 PDT
Re-opened since this is blocked by
bug 117880
Allan Sandfeld Jensen
Comment 6
2013-06-24 02:50:14 PDT
Created
attachment 205280
[details]
Patch Now also fixed MediaPlayerPrivateQt
Allan Sandfeld Jensen
Comment 7
2013-06-25 02:00:53 PDT
Committed
r151958
: <
http://trac.webkit.org/changeset/151958
>
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