[Webkit-unassigned] [Bug 125300] New: [GTK] Add missing symbols to WebKitDOMDeprecated.symbols

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=125300

           Summary: [GTK] Add missing symbols to
                    WebKitDOMDeprecated.symbols
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: Unspecified
        OS/Version: Unspecified
            Status: NEW
          Keywords: Gtk
          Severity: Normal
          Priority: P2
         Component: Bindings
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: cgarcia at igalia.com
                CC: gns at gnome.org, pnormand at igalia.com


The following API are missing documentation:
    WEBKIT_API
    WEBKIT_DEPRECATED
    WEBKIT_DEPRECATED_FOR
    webkit_dom_html_element_get_id
    webkit_dom_html_element_set_id

It seems I forgot to add webkit_dom_html_element_get_id and webkit_dom_html_element_set_id to the symbols file when I moved deprecated API to WebKitDOMDeprecated

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.