API Version: 4.1
Library Version: 2.41.91
void webkit_dom_html_marquee_element_stop ( WebKitDOMHTMLMarqueeElement* self )
Use JavaScriptCore API instead.