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: 
  String writeOption(String name, dynamic value) {
    return '$name: <code>$value</code><br> ';
  }
  
  class AstPage extends DiagnosticPageWithNav {
  
negative.code:           classes: ["right", null]);
      }
      buf.write('</table>');
    }
  }
  
  