Bug 125300

Summary: [GTK] Add missing symbols to WebKitDOMDeprecated.symbols
Product: WebKit Reporter: Carlos Garcia Campos <cgarcia>
Component: BindingsAssignee: Nobody <webkit-unassigned>
Status: RESOLVED FIXED    
Severity: Normal CC: gustavo, pnormand
Priority: P2 Keywords: Gtk
Version: 528+ (Nightly build)   
Hardware: Unspecified   
OS: Unspecified   
Attachments:
Description Flags
Patch pnormand: review+

Carlos Garcia Campos
Reported 2013-12-05 04:58:39 PST
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
Attachments
Patch (2.45 KB, patch)
2013-12-05 05:00 PST, Carlos Garcia Campos 		pnormand: review+
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Carlos Garcia Campos
Comment 1 2013-12-05 05:00:27 PST
Created attachment 218504 [details] Patch
Carlos Garcia Campos
Comment 2 2013-12-05 05:28:20 PST
Committed r160172: <http://trac.webkit.org/changeset/160172>
Note You need to log in before you can comment on or make changes to this bug.