-
carlosgc@webkit.org authored
https://bugs.webkit.org/show_bug.cgi?id=125692 Reviewed by Martin Robinson. In r155784 the build was fixed by skipping Console::profile() and Console::profileEnd(), but the patch also skipped other methods containing the profile method name. Those were incorrectly deprecated in r158662 thinking that the property had been removed in the idl. * bindings/gobject/WebKitDOMDeprecated.cpp: Undeprecate webkit_dom_html_head_element_get_profile and webkit_dom_html_head_element_set_profile. * bindings/gobject/WebKitDOMDeprecated.h: Ditto. * bindings/gobject/WebKitDOMDeprecated.symbols: Ditto. * bindings/scripts/CodeGeneratorGObject.pm: (SkipFunction): Skip webkit_dom_console_profile and webkit_dom_console_profile_end. git-svn-id: http://svn.webkit.org/repository/webkit/trunk@160545 268f45cc-cd09-0410-ab3c-d52691b4dbfc
cb5d2466