| Index: runtime/lib/developer.dart
 | 
| diff --git a/runtime/lib/developer.dart b/runtime/lib/developer.dart
 | 
| index ec3d38b621c6552ec0abbf0b5b19934b450d1e11..d2e48a592d5ef4006cadb03014c01f1ec8ba6cc8 100644
 | 
| --- a/runtime/lib/developer.dart
 | 
| +++ b/runtime/lib/developer.dart
 | 
| @@ -148,3 +148,12 @@ _postResponse(SendPort replyPort,
 | 
|    }
 | 
|    replyPort.send(sb.toString());
 | 
|  }
 | 
| +
 | 
| +@patch int _getServiceMajorVersion() native "Developer_getServiceMajorVersion";
 | 
| +
 | 
| +@patch int _getServiceMinorVersion() native "Developer_getServiceMinorVersion";
 | 
| +
 | 
| +@patch void _getServerInfo(SendPort sp) native "Developer_getServerInfo";
 | 
| +
 | 
| +@patch void _webServerControl(SendPort sp, bool enable)
 | 
| +    native "Developer_webServerControl";
 | 
| 
 |