Bug 159018 - Update document's isPlayingMedia() state whenever media element's media state changes
Summary: Update document's isPlayingMedia() state whenever media element's media state...
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: New Bugs (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Jer Noble
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2016-06-21 22:57 PDT by Jer Noble
Modified: 2016-06-22 10:14 PDT (History)
0 users

See Also:


Attachments
Patch (1.62 KB, patch)
2016-06-21 23:00 PDT, Jer Noble
no flags Details | Formatted Diff | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Jer Noble 2016-06-21 22:57:23 PDT
Update document's isPlayingMedia() state whenever media element's media state changes
Comment 1 Jer Noble 2016-06-21 23:00:01 PDT
Created attachment 281820 [details]
Patch
Comment 2 Jer Noble 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>
Comment 3 Jer Noble 2016-06-22 10:14:18 PDT
All reviewed patches have been landed.  Closing bug.