Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java |
diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java |
index 8dc73a50151a408af34b6f1bdc73e767b005ce17..fedd220ca3eed338862f97b058c2db21a3ea8f2b 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java |
+++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java |
@@ -104,6 +104,14 @@ public class DartCore extends Plugin { |
public static final String DART_PROBLEM_MARKER_TYPE = PLUGIN_ID + ".problem"; |
/** |
+ * Extension for single unit compiled into JavaScript. |
+ * |
+ * @deprecated inline this constant or keep it, if still needed for frog |
+ */ |
+ @Deprecated |
+ public static final String EXTENSION_JS = "js"; |
+ |
+ /** |
* Cached extensions for CSS files. |
*/ |
private static final String[] CSS_FILE_EXTENSIONS = {"css"}; |