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..be5d7767e1620d4a79ba2cdeebb5350eea9e7e6d 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,16 @@ public class DartCore extends Plugin { |
public static final String DART_PROBLEM_MARKER_TYPE = PLUGIN_ID + ".problem"; |
/** |
+ * Extension for single unit compiled into JavaScript. |
+ */ |
+ public static final String EXTENSION_JS = "js"; |
Brian Wilkerson
2012/02/27 20:47:03
I believe that these two constants should eventual
scheglov
2012/02/29 22:46:41
I've added @Deprecated for EXTENSION_JS.
EXTENSIO
|
+ |
+ /** |
+ * Extension for application compiled into JavaScript. |
+ */ |
+ public static final String EXTENSION_APP_JS = "app.js"; |
+ |
+ /** |
* Cached extensions for CSS files. |
*/ |
private static final String[] CSS_FILE_EXTENSIONS = {"css"}; |