Quick change

Author: Kwstubbs

javascript/extractor/src/com/semmle/js/extractor/FileExtractor.java

@@ -103,7 +103,7 @@ private static int skipBOM(byte[] bytes, int length) {
 
   /** Information about supported file types. */
   public static enum FileType {
-    HTML(".htm", ".html", ".xhtm", ".xhtml", ".vue", ".hbs", ".ejs", ".njk", ".erb", ".html.dot") {
+    HTML(".htm", ".html", ".xhtm", ".xhtml", ".vue", ".hbs", ".ejs", ".njk", ".erb", ".dot") {
       @Override
       public IExtractor mkExtractor(ExtractorConfig config, ExtractorState state) {
         return new HTMLExtractor(config, state);
@@ -125,6 +125,12 @@ protected boolean contains(File f, String lcExt, ExtractorConfig config) {
             return false;
           }
         }
+        // for DOT files we are only interrested in `.html.dot` files
+        if (FileUtil.extension(f).equalsIgnoreCase(".dot")) {
+          if (!f.getName().toLowerCase().endsWith(".html.dot")) {
+            return false;
+          }
+        }
         return super.contains(f, lcExt, config);
       }
     },