| Index: pkg/analysis_server/tool/spec/from_html.dart
 | 
| diff --git a/pkg/analysis_server/tool/spec/from_html.dart b/pkg/analysis_server/tool/spec/from_html.dart
 | 
| index 458142bf42eb0a138a031f5cd30dfad8c189d0e6..c3e3010c70b7a016f22f61bcb9ee86eb83060b5f 100644
 | 
| --- a/pkg/analysis_server/tool/spec/from_html.dart
 | 
| +++ b/pkg/analysis_server/tool/spec/from_html.dart
 | 
| @@ -123,6 +123,7 @@ void checkName(dom.Element element, String expectedName, [String context]) {
 | 
|          '$context: Expected $expectedName, found ${element.localName}');
 | 
|    }
 | 
|  }
 | 
| +
 | 
|  /**
 | 
|   * Create a [Domain] object from an HTML representation such as:
 | 
|   *
 | 
| @@ -419,6 +420,7 @@ TypeDefinition typeDefinitionFromHtml(dom.Element html) {
 | 
|    TypeDecl type = processContentsAsType(html, context);
 | 
|    return new TypeDefinition(name, type, html);
 | 
|  }
 | 
| +
 | 
|  /**
 | 
|   * Create a [TypeEnum] from an HTML description.
 | 
|   */
 | 
| @@ -480,8 +482,8 @@ TypeObjectField typeObjectFieldFromHtml(dom.Element html, String context) {
 | 
|    checkName(html, 'field', context);
 | 
|    String name = html.attributes['name'];
 | 
|    context = '$context.${name != null ? name : 'field'}';
 | 
| -  checkAttributes(
 | 
| -      html, ['name'], context, optionalAttributes: ['optional', 'value']);
 | 
| +  checkAttributes(html, ['name'], context,
 | 
| +      optionalAttributes: ['optional', 'value']);
 | 
|    bool optional = false;
 | 
|    String optionalString = html.attributes['optional'];
 | 
|    if (optionalString != null) {
 | 
| 
 |