RESOLVED FIXED 159018
Update document's isPlayingMedia() state whenever media element's media state changes 
https://bugs.webkit.org/show_bug.cgi?id=159018
Summary Update document's isPlayingMedia() state whenever media element's media state...
Jer Noble
Reported 2016-06-21 22:57:23 PDT
Update document's isPlayingMedia() state whenever media element's media state changes
Attachments
Patch (1.62 KB, patch)
2016-06-21 23:00 PDT, Jer Noble 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Jer Noble
Comment 1 2016-06-21 23:00:01 PDT
Created attachment 281820 [details] Patch
Jer Noble
Comment 2 2016-06-22 10:14:15 PDT
Comment on attachment 281820 [details] Patch Clearing flags on attachment: 281820 Committed r202332: <http://trac.webkit.org/changeset/202332>
Jer Noble
Comment 3 2016-06-22 10:14:18 PDT
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.