WebKit.DOM.Document.xml_encoding – webkit2gtk-web-extension-4.1 Reference Manual
xml_encoding
Description:
public
string
xml_encoding
{
owned
get
; }