| Index: client/html/generated/html/frog/DocumentType.dart
|
| diff --git a/client/html/generated/html/frog/DocumentType.dart b/client/html/generated/html/frog/DocumentType.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..d0fbb99b3ae1edbdd675362bbc77dbc620643896
|
| --- /dev/null
|
| +++ b/client/html/generated/html/frog/DocumentType.dart
|
| @@ -0,0 +1,15 @@
|
| +
|
| +class _DocumentTypeJs extends _NodeJs implements DocumentType native "*DocumentType" {
|
| +
|
| + final _NamedNodeMapJs entities;
|
| +
|
| + final String internalSubset;
|
| +
|
| + final String name;
|
| +
|
| + final _NamedNodeMapJs notations;
|
| +
|
| + final String publicId;
|
| +
|
| + final String systemId;
|
| +}
|
|
|