| Index: sdk/lib/_internal/js_runtime/lib/developer_patch.dart
|
| diff --git a/sdk/lib/_internal/js_runtime/lib/developer_patch.dart b/sdk/lib/_internal/js_runtime/lib/developer_patch.dart
|
| index 82b2c16edffb1e202942f77d6db1f65e2edc6c2e..003f269690ed9898cb9f4c93d28495ddf164c09b 100644
|
| --- a/sdk/lib/_internal/js_runtime/lib/developer_patch.dart
|
| +++ b/sdk/lib/_internal/js_runtime/lib/developer_patch.dart
|
| @@ -62,6 +62,14 @@ void _reportCompleteEvent(int start,
|
| }
|
|
|
| @patch
|
| +void _reportInstantEvent(int start,
|
| + String category,
|
| + String name,
|
| + String argumentsAsJson) {
|
| + // TODO.
|
| +}
|
| +
|
| +@patch
|
| int _getNextAsyncId() {
|
| return 0;
|
| }
|
|
|