Add dart:developer.postEvent for posting events to the service protocol from Dart code

runtime/vm/service/service.md

Index: runtime/vm/service/service.md
diff --git a/runtime/vm/service/service.md b/runtime/vm/service/service.md
index 2c72b725b89419871b69c1a4d39c385a658a6af7..a0182a272f84e65249f14e082940fd86b5a40265 100644
--- a/runtime/vm/service/service.md
+++ b/runtime/vm/service/service.md
@@ -718,6 +718,7 @@ VM | VMUpdate
 Isolate | IsolateStart, IsolateRunnable, IsolateExit, IsolateUpdate, ServiceExtensionAdded
 Debug | PauseStart, PauseExit, PauseBreakpoint, PauseInterrupted, PauseException, Resume, BreakpointAdded, BreakpointResolved, BreakpointRemoved, Inspect
 GC | GC
+Extension | Extension
 
 Additionally, some embedders provide the _Stdout_ and _Stderr_
 streams.  These streams allow the client to subscribe to writes to
@@ -1142,8 +1143,18 @@ class Event extends Response {
 
   // The RPC name of the extension that was added.
   //
-  // This is provided for the ServiceExtensionAdded.
+  // This is provided for the ServiceExtensionAdded event.
   string extensionRPC [optional];
+
+  // The extension event kind.
+  //
+  // This is provided for the Extension event.
+  string extensionKind [optional];
+
+  // The extension event data.
+  //
+  // This is provided for the Extension event.
+  object extensionData [optional];

[turnidge, 2015/12/17 17:27:15]

Change this to ExtensionData or something as discussed offline.

[Cutch, 2015/12/17 17:34:39]

Added ExtensionData.

 }
 ```
 
@@ -1212,7 +1223,10 @@ enum EventKind {
   WriteEvent,
 
   // Notification from dart:developer.inspect.
-  Inspect
+  Inspect,
+
+  // Event from dart:developer.postEvent.
+  Extension
 }
 ```