Synopsis

                    WebKitDOMConsole;
void                webkit_dom_console_time             (WebKitDOMConsole *self,
                                                         const gchar *title);
void                webkit_dom_console_group_end        (WebKitDOMConsole *self);