Bug 159018

Summary: Update document's isPlayingMedia() state whenever media element's media state changes
Product: WebKit Reporter: Jer Noble <jer.noble>
Component: New BugsAssignee: Jer Noble <jer.noble>
Status: RESOLVED FIXED    
Severity: Normal    
Priority: P2    
Version: WebKit Nightly Build   
Hardware: Unspecified   
OS: Unspecified   
Attachments:
Description Flags
Patch none

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.