Change how we check for user agent, in preparation for breaking change in Dartium.

pkg/polymer/lib/boot.js

Index: pkg/polymer/lib/boot.js
diff --git a/pkg/polymer/lib/boot.js b/pkg/polymer/lib/boot.js
index 62d72a7cac5ea429a3d5ae9a6b4fab193d518cdb..b0a4196108617be8d5f84f09dab7f8d2bfd6b719 100644
--- a/pkg/polymer/lib/boot.js
+++ b/pkg/polymer/lib/boot.js
@@ -33,7 +33,10 @@
 /// discovered in the HTML document.
 (function() {
   // Only run in Dartium.
-  if (navigator.userAgent.indexOf('(Dart)') === -1) return;
+  if (!navigator.dartEnabled &&

[kasperl, 2014/08/13 07:29:33]

Will we be able to simplify this and get rid of the indexOf check in the future
(once everybody has the new Dartium with navigator.dartEnabled)?

[vsm, 2014/08/13 08:24:06]

Yes - this is just precautionary for the transition.  Siggi: can you add a
comment here to that effect similar to

https://codereview.chromium.org/463083002/diff/20001/pkg/browser/lib/dart.js

?

On 2014/08/13 07:29:33, kasperl wrote:

[Siggi Cherem (dart-lang), 2014/08/13 16:15:27]

Done.

+      (navigator.userAgent.indexOf('(Dart)') === -1)) {
+    return;
+  }
 
   // Extract a Dart import URL from a script tag, which is the 'src' attribute
   // of the script tag, or a data-url with the script contents for inlined code.