anchor.diff:  
     external bool get is_external_build;
   
  +  external bool get is_embedded;
  +
     // Custom metrics:
     external int get ui_duration_micros;
   
  
positive.code:   external String get ide_launched;
  
    external String get flutter_client_id;
  }
  
  /// Request DevTools property value 'enabled' (GA enabled) stored in the file
  
negative.code:     String devtools_version, // dimension6 DevTools version #
      String ide_launched, // dimension7 IDE launched DevTools
      String flutter_client_id, // dimension8 Flutter tool clientId
      bool is_external_build, // dimension9 External build or google3
      bool is_embedded, // dimension10 Whether devtools is embedded
  
      // Performance screen metrics. See [PerformanceScreenMetrics].
      int ui_duration_micros, // metric1
      int raster_duration_micros, // metric2
      int shader_compilation_duration_micros, // metric3
      // Profiler screen metrics. See [ProfilerScreenMetrics].
      int cpu_sample_count, // metric4
      int cpu_stack_depth, // metric5
      // Performance screen metric. See [PerformanceScreenMetrics].
      int trace_event_count, // metric6
    });
  
    @override
  