API Version: 5.0
Library Version: 2.38.3
void webkit_dom_event_stop_propagation ( WebKitDOMEvent* self )
Use JavaScriptCore API instead.