anchor.diff:  }
   
   class PluginsPage extends DiagnosticPageWithNav {
  -  // TODO(devoncarew): We're not currently tracking the time spent in specific
  -  // lints by default (analysisOptions / driverOptions enableTiming)
  -
     @override
     AnalysisServer server;
   
  
positive.code: }
  ''';
  
  final bool _showLints = false;
  
  String get _sdkVersion {
  
negative.code:           classes: ["right", null]);
      }
      buf.write('</table>');
    }
  }
  
  