| Top |  |  |  |  | 
| gchar * | webkit_dom_html_html_element_get_version () | 
| void | webkit_dom_html_html_element_set_version () | 
    GObject
    ╰── WebKitDOMObject
        ╰── WebKitDOMNode
            ╰── WebKitDOMElement
                ╰── WebKitDOMHTMLElement
                    ╰── WebKitDOMHTMLHtmlElement
gchar *
webkit_dom_html_html_element_get_version
                               (WebKitDOMHTMLHtmlElement *self);
webkit_dom_html_html_element_get_version has been deprecated since version 2.22 and should not be used in newly-written code.
Use JavaScriptCore API instead
void webkit_dom_html_html_element_set_version (WebKitDOMHTMLHtmlElement *self,const gchar *value);
webkit_dom_html_html_element_set_version has been deprecated since version 2.22 and should not be used in newly-written code.
Use JavaScriptCore API instead