fix(profiler): Fix API

jbdeboer · jbdeboer · commit f032b376c77b · 2014-03-27T21:34:36.000-07:00
diff --git a/lib/perf/dev_tools_timeline.dart b/lib/perf/dev_tools_timeline.dart
@@ -4,7 +4,7 @@ class DevToolsTimelineProfiler extends Profiler {
   final dom.Console console = dom.window.console;
   String prefix = '';
 
-  String startTimer(String name, [String extraData]) {
+  String startTimer(String name, [dynamic extraData]) {
     console.time('$prefix$name');
     prefix = '$prefix  ';
     return name;
@@ -15,7 +15,7 @@ class DevToolsTimelineProfiler extends Profiler {
     console.timeEnd('$prefix$name');
   }
 
-  void markTime(String name, [String extraData]) {
+  void markTime(String name, [dynamic extraData]) {
     console.timeStamp('$prefix$name');
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ class DevToolsTimelineProfiler extends Profiler {`
`4`	`4`	`final dom.Console console = dom.window.console;`
`5`	`5`	`String prefix = '';`
`6`	`6`
`7`		`- String startTimer(String name, [String extraData]) {`
	`7`	`+ String startTimer(String name, [dynamic extraData]) {`
`8`	`8`	`console.time('$prefix$name');`
`9`	`9`	`prefix = '$prefix ';`
`10`	`10`	`return name;`
`@@ -15,7 +15,7 @@ class DevToolsTimelineProfiler extends Profiler {`
`15`	`15`	`console.timeEnd('$prefix$name');`
`16`	`16`	`}`
`17`	`17`
`18`		`- void markTime(String name, [String extraData]) {`
	`18`	`+ void markTime(String name, [dynamic extraData]) {`
`19`	`19`	`console.timeStamp('$prefix$name');`
`20`	`20`	`}`
`21`	`21`	`}`