API Version: 4.0
Library Version: 2.42.2
void webkit_dom_dom_selection_empty ( WebKitDOMDOMSelection* self )
Use JavaScriptCore API instead.