@class NSString;

@interface DOMHTMLHtmlElement : DOMHTMLElement

@property (copy) NSString *version;

- (id)manifest;
- (void)setManifest:(id)a0;

@end