Index: client/html/generated/html/frog/_EventSourceFactoryProvider.dart |
diff --git a/client/html/generated/html/interface/AudioElement.dart b/client/html/generated/html/frog/_EventSourceFactoryProvider.dart |
similarity index 62% |
copy from client/html/generated/html/interface/AudioElement.dart |
copy to client/html/generated/html/frog/_EventSourceFactoryProvider.dart |
index 42a2a861a2bd9563c017d6b0ab2cf33bcb0d6d3e..892b0e24c9ba7114fc4f8bf58e9ac9a77969d164 100644 |
--- a/client/html/generated/html/interface/AudioElement.dart |
+++ b/client/html/generated/html/frog/_EventSourceFactoryProvider.dart |
@@ -2,7 +2,7 @@ |
// 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 AudioElement extends MediaElement { |
+class _EventSourceFactoryProvider { |
+ factory EventSource(String scriptUrl) native |
+ '''return new EventSource(scriptUrl);'''; |
} |