From 72fe63074a30857d76bd140817d734a0554250b2 Mon Sep 17 00:00:00 2001
From: Asger F <asger@semmle.com>
Date: Fri, 25 Jan 2019 11:26:27 +0000
Subject: [PATCH] JS: convert tabs to spaces

---
 .../semmle/js/extractor/ExtractorConfig.java  | 30 +++++++++----------
 1 file changed, 15 insertions(+), 15 deletions(-)

diff --git a/javascript/extractor/src/com/semmle/js/extractor/ExtractorConfig.java b/javascript/extractor/src/com/semmle/js/extractor/ExtractorConfig.java
index b12b479720c..a6f5240fd79 100644
--- a/javascript/extractor/src/com/semmle/js/extractor/ExtractorConfig.java
+++ b/javascript/extractor/src/com/semmle/js/extractor/ExtractorConfig.java
@@ -52,25 +52,25 @@ public class ExtractorConfig {
     };
 
     /**
-	 * The type of a source file, which together with the {@link Platform}
-	 * determines how the top-level scope of the file behaves, and whether ES2015
-	 * module syntax should be allowed.
-	 * <p>
-	 * Note that the names of these enum members are depended on by {@link Main},
-	 * {@link AutoBuild}, and {@link JcornWrapper}.
-	 */
+     * The type of a source file, which together with the {@link Platform}
+     * determines how the top-level scope of the file behaves, and whether ES2015
+     * module syntax should be allowed.
+     * <p>
+     * Note that the names of these enum members are depended on by {@link Main},
+     * {@link AutoBuild}, and {@link JcornWrapper}.
+     */
     public static enum SourceType {
-		/** A script executed in the global scope. */
-		SCRIPT,
+        /** A script executed in the global scope. */
+        SCRIPT,
 
-		/** An ES2015 module. */
-		MODULE,
+        /** An ES2015 module. */
+        MODULE,
 
-		/** A Closure-Library module, defined using `goog.module()`. */
-		CLOSURE_MODULE,
+        /** A Closure-Library module, defined using `goog.module()`. */
+        CLOSURE_MODULE,
 
-		/** Automatically determined source type. */
-		AUTO;
+        /** Automatically determined source type. */
+        AUTO;
 
         @Override
         public String toString() {