| Index: client/dom/generated/src/interface/Console.dart
|
| diff --git a/client/dom/generated/src/interface/Console.dart b/client/dom/generated/src/interface/Console.dart
|
| index 9176478922f3afeab4b0f32428c2cde56e12b76b..2ce006181d7906f58a9b4993ce761d7d91d11f57 100644
|
| --- a/client/dom/generated/src/interface/Console.dart
|
| +++ b/client/dom/generated/src/interface/Console.dart
|
| @@ -8,6 +8,8 @@ interface Console {
|
|
|
| MemoryInfo get memory();
|
|
|
| + List get profiles();
|
| +
|
| void assert(bool condition);
|
|
|
| void count();
|
| @@ -32,6 +34,10 @@ interface Console {
|
|
|
| void markTimeline();
|
|
|
| + void profile(String title);
|
| +
|
| + void profileEnd(String title);
|
| +
|
| void time(String title);
|
|
|
| void timeEnd(String title);
|
|
|