| 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 b1073b2e6f9a2f3c195e6ef032cc9b57fd9a824a..b9e35b2773fe899833de572514aa959581c72255 100644
 | 
| --- a/sdk/lib/_internal/js_runtime/lib/developer_patch.dart
 | 
| +++ b/sdk/lib/_internal/js_runtime/lib/developer_patch.dart
 | 
| @@ -105,3 +105,23 @@ void _reportTaskEvent(int start,
 | 
|                        String argumentsAsJson) {
 | 
|   // TODO.
 | 
|  }
 | 
| +
 | 
| +@patch
 | 
| +int _getServiceMajorVersion() {
 | 
| +  return 0;
 | 
| +}
 | 
| +
 | 
| +@patch
 | 
| +int _getServiceMinorVersion() {
 | 
| +  return 0;
 | 
| +}
 | 
| +
 | 
| +@patch
 | 
| +void _getServerInfo(SendPort sp) {
 | 
| +  sp.send(null);
 | 
| +}
 | 
| +
 | 
| +@patch
 | 
| +void _webServerControl(SendPort sp, bool enable) {
 | 
| +  sp.send(null);
 | 
| +}
 | 
| 
 |