| Top |  |  |  |  | 
| void | webkit_dom_console_time () | 
| void | webkit_dom_console_group_end () | 
| void * | webkit_dom_console_get_memory () | 
void webkit_dom_console_time (WebKitDOMConsole *self,const gchar *title);
void *
webkit_dom_console_get_memory (WebKitDOMConsole *self);
webkit_dom_console_get_memory is deprecated and should not be used in newly-written code.