| 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"};
|
|
|