Remove frog from the SDK and stop running it from the editor.

client/dart.js

Index: client/dart.js
diff --git a/client/dart.js b/client/dart.js
index 061d78c96d2e04d24ed5d1ebe6784a1c960af378..a21644065ff6e26778c9b66836e11a280f19594b 100644
--- a/client/dart.js
+++ b/client/dart.js
@@ -16,28 +16,16 @@ if (navigator.webkitStartDart) {
     // replace them if they have a type that indicate that they source
     // in Dart code.
     //
-    //   <script type="application/dart" src="<file>.dart"></script>
-    //
-    // If the script tag has a 'data-compiler' attribute set to
-    // frog then we use the frog generated file rather than the
-    // one produced by dart2js:
-    //
-    //    <script ... data-compiler="frog"></script>
+    //   <script type="application/dart" src="..."></script>
     //
     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.js or foo.js_ depending
-        // on the chosen compiler (frog or dart2js).
+        // Remap foo.dart to foo.dart.js.
         if (scripts[i].src && scripts[i].src != '') {
           var script = document.createElement('script');
-          var compiler = scripts[i].getAttribute('data-compiler');
-          if (compiler == "frog") {
-            script.src = scripts[i].src + '.js_';
-          } else {
-            script.src = scripts[i].src + '.js';
-          }
+          script.src = scripts[i].src + '.js';
           var parent = scripts[i].parentNode;
           parent.replaceChild(script, scripts[i]);
         }