Index: third_party/WebKit/public/web/WebDocumentType.h |
diff --git a/third_party/WebKit/public/web/WebDocumentType.h b/third_party/WebKit/public/web/WebDocumentType.h |
index e3f33f54bd388d8b829bc90912189372e506b015..0ae0948e836a8609add2e64ec54390ae897f881a 100644 |
--- a/third_party/WebKit/public/web/WebDocumentType.h |
+++ b/third_party/WebKit/public/web/WebDocumentType.h |
@@ -43,7 +43,7 @@ class DocumentType; |
class WebString; |
// Provides readonly access to some properties of a DOM document type. |
-class WebDocumentType : public WebNode { |
+class WebDocumentType final : public WebNode { |
public: |
WebDocumentType() { } |
WebDocumentType(const WebDocumentType& e) : WebNode(e) { } |
@@ -64,6 +64,8 @@ public: |
#endif |
}; |
+DECLARE_WEB_NODE_TYPE_CASTS(WebDocumentType); |
+ |
} // namespace blink |
#endif |