Index: pkg/polymer/lib/polymer.html |
diff --git a/pkg/polymer/lib/polymer.html b/pkg/polymer/lib/polymer.html |
index 9a90ea1a2c7672e36ca53d3c67a90ac50afd62e3..c4df6198c336710cda7a9d311030459ca52d103b 100644 |
--- a/pkg/polymer/lib/polymer.html |
+++ b/pkg/polymer/lib/polymer.html |
@@ -6,6 +6,11 @@ |
<script src="src/js/use_native_dartium_shadowdom.js"></script> |
+<!-- Bootstrap the user application in a new isolate. --> |
+<script src="boot.js"></script> |
+<!-- TODO(sigmund): replace boot.js by boot.dart (dartbug.com/18007) |
+<script type="application/dart">export "package:polymer/boot.dart";</script> |
+ --> |
<!-- |
These two files are from the Polymer project: |
https://github.com/Polymer/platform/ and https://github.com/Polymer/polymer/. |