[webkit-reviews] review requested: [Bug 153133] [GTK] Fix build of RenderThemeGtk without VIDEO by including HTMLInputElement : [Attachment 269099] Patch

[bugzilla-daemon at webkit.org]

Olivier Blin <olivier.blin at softathome.com> has asked  for review:
Bug 153133: [GTK] Fix build of RenderThemeGtk without VIDEO by including
HTMLInputElement
https://bugs.webkit.org/show_bug.cgi?id=153133

Attachment 269099: Patch

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