API Version: 4.1
Library Version: 2.38.4
void webkit_dom_dom_window_stop ( WebKitDOMDOMWindow* self )
Use JavaScriptCore API instead.