sigmund@google.com
80a24e7d47
the code in page. People playing with inlining scripts in HTML should load the compiled code directly, but this doesn't hurt. R=dgrove@google.com Review URL: https://codereview.chromium.org//99943006 git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@31434 260f80e4-7a28-3924-810f-c04153c831b5
33 lines
1.2 KiB
JavaScript
33 lines
1.2 KiB
JavaScript
// Copyright (c) 2013, 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.
|
|
|
|
(function() {
|
|
// Bootstrap support for Dart scripts on the page as this script.
|
|
if (navigator.userAgent.indexOf('(Dart)') === -1) {
|
|
// TODO:
|
|
// - Support in-browser compilation.
|
|
// - Handle inline Dart scripts.
|
|
|
|
// Fall back to compiled JS. Run through all the scripts and
|
|
// replace them if they have a type that indicate that they source
|
|
// in Dart code (type="application/dart").
|
|
var scripts = document.getElementsByTagName("script");
|
|
var length = scripts.length;
|
|
for (var i = 0; i < length; ++i) {
|
|
if (scripts[i].type == "application/dart") {
|
|
// Remap foo.dart to foo.dart.js.
|
|
if (scripts[i].src && scripts[i].src != '') {
|
|
var script = document.createElement('script');
|
|
script.src = scripts[i].src.replace(/\.dart(?=\?|$)/, '.dart.js');
|
|
var parent = scripts[i].parentNode;
|
|
// TODO(vsm): Find a solution for issue 8455 that works with more
|
|
// than one script.
|
|
document.currentScript = script;
|
|
parent.replaceChild(script, scripts[i]);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
})();
|