| Index: client/html/generated/html/interface/XMLHttpRequestException.dart
|
| diff --git a/client/dom/templates/interface.darttemplate b/client/html/generated/html/interface/XMLHttpRequestException.dart
|
| similarity index 56%
|
| copy from client/dom/templates/interface.darttemplate
|
| copy to client/html/generated/html/interface/XMLHttpRequestException.dart
|
| index 4e092a52e6f8755ebae6d8b72e5ccd9873a6dca2..61b763445bc27b6da30bcf237ff48417185df435 100644
|
| --- a/client/dom/templates/interface.darttemplate
|
| +++ b/client/html/generated/html/interface/XMLHttpRequestException.dart
|
| @@ -4,5 +4,17 @@
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| -interface $ID$!EXTENDS {
|
| -$!MEMBERS}
|
| +interface XMLHttpRequestException {
|
| +
|
| + static final int ABORT_ERR = 102;
|
| +
|
| + static final int NETWORK_ERR = 101;
|
| +
|
| + final int code;
|
| +
|
| + final String message;
|
| +
|
| + final String name;
|
| +
|
| + String toString();
|
| +}
|
|
|