API Version: 4.1
Library Version: 2.41.92
void webkit_dom_html_input_element_select ( WebKitDOMHTMLInputElement* self )
Use JavaScriptCore API instead.