API Version: 5.0
Library Version: 2.38.0
void webkit_dom_html_document_close ( WebKitDOMHTMLDocument* self )
Use JavaScriptCore API instead.