Method
WebKit2WebExtensionDOMDocumentTypeget_public_id
deprecated: 2.22
Declaration [src]
gchar*
webkit_dom_document_type_get_public_id (
  WebKitDOMDocumentType* self
)
Description
        No description available.
      
      Deprecated since: 2.22
Use JavaScriptCore API instead.
| Gets property | WebKit2WebExtension.DOMDocumentType:public-id |