WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
93619
Remove webkitMediaSourceURL from HTMLMediaElement.idl
https://bugs.webkit.org/show_bug.cgi?id=93619
Summary
Remove webkitMediaSourceURL from HTMLMediaElement.idl
Aaron Colwell
Reported
2012-08-09 09:16:12 PDT
Please remove the webkitMediaSourceURL attribute from the IDL. It is no longer needed now that we use createObjectURL() to generate media source URL.
Attachments
Patch
(3.90 KB, patch)
2012-08-09 23:40 PDT
,
Anna Cavender
abarth
: review+
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Anna Cavender
Comment 1
2012-08-09 23:40:37 PDT
Created
attachment 157644
[details]
Patch
Adam Barth
Comment 2
2012-08-10 01:00:52 PDT
Comment on
attachment 157644
[details]
Patch Ok. I presume no one has shipped ENABLE_MEDIA_SOURCE yet.
Anna Cavender
Comment 3
2012-08-13 11:36:51 PDT
Thanks abarth. Yes, no one has shipped ENABLE_MEDIA_SOURCE yet.
Anna Cavender
Comment 4
2012-08-13 11:45:37 PDT
Committed
r125429
: <
http://trac.webkit.org/changeset/125429
>
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