Index: client/html/generated/html/interface/SourceElement.dart |
diff --git a/client/html/generated/html/interface/SourceElement.dart b/client/html/generated/html/interface/SourceElement.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..f7d947e4ab0fcd4b53ef2d5e15d881238e41f8c4 |
--- /dev/null |
+++ b/client/html/generated/html/interface/SourceElement.dart |
@@ -0,0 +1,14 @@ |
+// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
+// for details. All rights reserved. Use of this source code is governed by a |
+// BSD-style license that can be found in the LICENSE file. |
+ |
+// WARNING: Do not edit - generated code. |
+ |
+interface SourceElement extends Element { |
+ |
+ String media; |
+ |
+ String src; |
+ |
+ String type; |
+} |