Packages
webkit2gtk-web-extension-4.1
WebKit
DOM
DocumentType
entities
internal_subset
name
notations
public_id
system_id
DocumentType
get_entities
get_internal_subset
get_name
get_notations
get_public_id
get_system_id
system_id
Description:
public
string
system_id
{
owned
get
; }