Method
WebKit2WebExtensionDOMEventget_time_stamp
Declaration [src]
guint32
webkit_dom_event_get_time_stamp (
  WebKitDOMEvent* self
)
Description
        No description available.
      
      | Deprecated since: | 2.22 | 
| Use JavaScriptCore API instead. | |
| Gets property | WebKit2WebExtension.DOMEvent:time-stamp |