[webkit-reviews] review requested: [Bug 125300] [GTK] Add missing symbols to WebKitDOMDeprecated.symbols : [Attachment 218504] Patch

[bugzilla-daemon at webkit.org]

Carlos Garcia Campos <cgarcia at igalia.com> has asked  for review:
Bug 125300: [GTK] Add missing symbols to WebKitDOMDeprecated.symbols
https://bugs.webkit.org/show_bug.cgi?id=125300

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