[webkit-reviews] review granted: [Bug 120440] [GTK] HTMLElement lost setID and getID - need to add compatibility symbols : [Attachment 209928] Patch

[bugzilla-daemon at webkit.org]

Martin Robinson <mrobinson at webkit.org> has granted Gustavo Noronha (kov)
<gns at gnome.org>'s request for review:
Bug 120440: [GTK] HTMLElement lost setID and getID - need to add compatibility
symbols
https://bugs.webkit.org/show_bug.cgi?id=120440

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