WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
139822
Drop useless HTMLMediaElement::m_previousProgress member
https://bugs.webkit.org/show_bug.cgi?id=139822
Summary
Drop useless HTMLMediaElement::m_previousProgress member
Chris Dumez
Reported
2014-12-19 11:02:41 PST
Drop HTMLMediaElement::m_previousProgress member and it is not used or even initialized.
Attachments
Patch
(1.30 KB, patch)
2014-12-19 11:05 PST
,
Chris Dumez
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Chris Dumez
Comment 1
2014-12-19 11:05:05 PST
Created
attachment 243559
[details]
Patch
Eric Carlson
Comment 2
2014-12-19 11:29:13 PST
Comment on
attachment 243559
[details]
Patch Thanks!
WebKit Commit Bot
Comment 3
2014-12-19 11:38:17 PST
Comment on
attachment 243559
[details]
Patch Clearing flags on attachment: 243559 Committed
r177586
: <
http://trac.webkit.org/changeset/177586
>
WebKit Commit Bot
Comment 4
2014-12-19 11:38:22 PST
All reviewed patches have been landed. Closing bug.
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