Merge pull request #9715 from asgerf/js/always-check-file-header

JS: always sniff file header of TypeScript files

Author: asgerf

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

@@ -217,9 +217,6 @@ protected boolean contains(File f, String lcExt, ExtractorConfig config) {
       }
 
       private boolean hasBadFileHeader(File f, String lcExt, ExtractorConfig config) {
-        if (!".ts".equals(lcExt)) {
-          return false;
-        }
         try (FileInputStream fis = new FileInputStream(f)) {
           byte[] bytes = new byte[fileHeaderSize];
           int length = fis.read(bytes);

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

@@ -43,7 +43,7 @@ public class Main {
    * A version identifier that should be updated every time the extractor changes in such a way that
    * it may produce different tuples for the same file under the same {@link ExtractorConfig}.
    */
-  public static final String EXTRACTOR_VERSION = "2022-06-08";
+  public static final String EXTRACTOR_VERSION = "2022-06-27";
 
   public static final Pattern NEWLINE = Pattern.compile("\n");