125300 – [GTK] Add missing symbols to WebKitDOMDeprecated.symbols

RESOLVED FIXED125300

[GTK] Add missing symbols to WebKitDOMDeprecated.symbols

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

Summary [GTK] Add missing symbols to WebKitDOMDeprecated.symbols

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+	Details Formatted Diff Diff
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.

Status RESOLVED

Resolution FIXED

Priority P2

Severity Normal

Classification Unclassified

Version 528+ (Nightly build)

Hardware Unspecified

OS Unspecified

Product WebKit

Component Bindings

Assignee

Nobody

Reported

2013-12-05 04:58 PST

Modified

2013-12-05 05:28 PST History

CC List

2 users Show

URL

Keywords Gtk

Depends on

Blocks