Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/util/LibraryReferenceFinder.java |
diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/util/LibraryReferenceFinder.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/util/LibraryReferenceFinder.java |
index a3c113fd2be0d340bd0193ad537cbe7ef81ffdcf..446b89e95abb335801720813e423eba2c71e9170 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/util/LibraryReferenceFinder.java |
+++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/util/LibraryReferenceFinder.java |
@@ -13,7 +13,7 @@ |
*/ |
package com.google.dart.tools.core.internal.util; |
-import com.google.dart.compiler.backend.js.JavascriptBackend; |
+import com.google.dart.tools.core.DartCore; |
import java.util.ArrayList; |
import java.util.List; |
@@ -197,10 +197,10 @@ public class LibraryReferenceFinder { |
String scriptType = getAttributeValue(scriptTag, "type"); |
if (scriptType == null || scriptType.equals("text/javascript") |
|| scriptType.equals("application/javascript")) { |
- if (srcLocation.endsWith('.' + JavascriptBackend.EXTENSION_APP_JS)) { |
+ if (srcLocation.endsWith('.' + DartCore.EXTENSION_APP_JS)) { |
String fileName = extractFileNameFromSrc(srcLocation); |
- fileName = fileName.substring(0, |
- fileName.length() - JavascriptBackend.EXTENSION_APP_JS.length() - 1); |
+ fileName = fileName.substring(0, fileName.length() - DartCore.EXTENSION_APP_JS.length() |
+ - 1); |
libraryList.add(fileName); |
} |
// Match the "Generate Optimized Javascript" default extension |