Method
WebKit2WebExtensionDOMDocumentTypeget_public_id
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 |