WebKit.DOM.HTMLHtmlElement.version – webkit2gtk-web-extension-5.0 Reference Manual
Packages
webkit2gtk-web-extension-5.0
WebKit
DOM
HTMLHtmlElement
version
HTMLHtmlElement
get_version
set_version
version
Description:
public
string
version
{
owned
get
;
set
; }