[webkit-reviews] review granted: [Bug 229308] Use UserMediaRequestIdentifier in WebKit rather than a mysterious uint64_t : [Attachment 436027] Patch

[bugzilla-daemon at webkit.org]

youenn fablet <youennf at gmail.com> has granted  review:
Bug 229308: Use UserMediaRequestIdentifier in WebKit rather than a mysterious
uint64_t
https://bugs.webkit.org/show_bug.cgi?id=229308

Attachment 436027: Patch

https://bugs.webkit.org/attachment.cgi?id=436027&action=review




--- Comment #7 from youenn fablet <youennf at gmail.com> ---
Comment on attachment 436027
  --> https://bugs.webkit.org/attachment.cgi?id=436027
Patch

View in context: https://bugs.webkit.org/attachment.cgi?id=436027&action=review

> Source/WebKit/Scripts/webkit/messages.py:763
> +	   'WebCore::UserMediaRequestIdentifier':
['<WebCore/UserMediaRequestIdentifier.h>'],

Is it actually needed now that we have its own header?