[webkit-reviews] review granted: [Bug 115571] Remove unnecessary include HTMLNames.h from RenderThemeGtk.cpp : [Attachment 200461] Patch

[bugzilla-daemon at webkit.org]

Martin Robinson <mrobinson at webkit.org> has granted Daniel Bates
<dbates at webkit.org>'s request for review:
Bug 115571: Remove unnecessary include HTMLNames.h from RenderThemeGtk.cpp
https://bugs.webkit.org/show_bug.cgi?id=115571

Attachment 200461: Patch
https://bugs.webkit.org/attachment.cgi?id=200461&action=review