| Index: runtime/lib/developer.dart
|
| diff --git a/runtime/lib/developer.dart b/runtime/lib/developer.dart
|
| index 6a93d073127bb4da26cec426c30d34ba3453acc4..af505ffa5bac9b54d8f6731f2110614c5c226f32 100644
|
| --- a/runtime/lib/developer.dart
|
| +++ b/runtime/lib/developer.dart
|
| @@ -52,6 +52,9 @@ _log(String message,
|
| Object error,
|
| StackTrace stackTrace) native "Developer_log";
|
|
|
| +patch void _postEvent(String eventKind, String eventData)
|
| + native "Developer_postEvent";
|
| +
|
| patch ServiceExtensionHandler _lookupExtension(String method)
|
| native "Developer_lookupExtension";
|
|
|
|
|