[Webkit-unassigned] [Bug 92031] New: uint8_t undefined in chromium/public/WebMediaPlayer.h

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=92031

           Summary: uint8_t undefined in chromium/public/WebMediaPlayer.h
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: All
        OS/Version: Unspecified
            Status: UNCONFIRMED
          Severity: Minor
          Priority: P3
         Component: Media Elements
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: xhwang at chromium.org


In chromium/public/WebMediaPlayer.h, uint8_t is used in WebMediaPlayer::paint() but no proper header is included for uint8_t. At least on Windows it's causing me "uint8_t not defined" error. We should either include the right header, or remove the use of uint8_t in this file.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.