API Version: 4.1
Library Version: 2.38.5
guint32 webkit_dom_event_get_time_stamp ( WebKitDOMEvent* self )
Use JavaScriptCore API instead.
guint32
A #guint32