Following changeset <http://trac.webkit.org/changeset/92347> (bug #65590) we no longer use functionality from HTMLNames.h in RenderThemeGtk.cpp. For completeness, changeset <http://trac.webkit.org/changeset/52266> added the header HTMLNames.h.
Created attachment 200461 [details] Patch
Comment on attachment 200461 [details] Patch Clearing flags on attachment: 200461 Committed r149539: <http://trac.webkit.org/changeset/149539>
All reviewed patches have been landed. Closing bug.