Convert Settings.in, CSSValueKeywords.in, SVGCSSValueKeywords.in to json5

third_party/WebKit/Source/devtools/scripts/gulp/gulpfile.js

Index: third_party/WebKit/Source/devtools/scripts/gulp/gulpfile.js
diff --git a/third_party/WebKit/Source/devtools/scripts/gulp/gulpfile.js b/third_party/WebKit/Source/devtools/scripts/gulp/gulpfile.js
index 81b49e8d3b4a0b821122bf3d65b1a5e56fa87c48..a14ad1662aa6cd8ea35143af93126eea50380b69 100644
--- a/third_party/WebKit/Source/devtools/scripts/gulp/gulpfile.js
+++ b/third_party/WebKit/Source/devtools/scripts/gulp/gulpfile.js
@@ -94,18 +94,18 @@ gulp.task("generateSupportedCSSProperties", ["fetchSupportedCSSProperties"], gen
 function generateSupportedCSSProperties()
 {
     var script = path.join(scriptsPath, "build", "generate_supported_css.py");
-    var inputs = [path.join(releasePath, "CSSProperties.in")];
+    var inputs = [path.join(releasePath, "CSSProperties.json5")];
     var outputs = [path.join(releasePath, "SupportedCSSProperties.js")];
     var args = inputs.concat(outputs);
     runPythonScript(script, args);
-    del.sync([path.join(releasePath, "CSSProperties.in")], {force: true});
+    del.sync([path.join(releasePath, "CSSProperties.json5")], {force: true});
 }
 
 gulp.task("fetchSupportedCSSProperties", ["clean"], fetchSupportedCSSProperties);
 function fetchSupportedCSSProperties(done)
 {
-    var supportedCSSPropertiesURL = "https://chromium.googlesource.com/chromium/src/+/master/third_party/WebKit/Source/core/css/CSSProperties.in?format=TEXT";
-    var supportedCSSPropertiesFile = path.join(releasePath, "CSSProperties.in");
+    var supportedCSSPropertiesURL = "https://chromium.googlesource.com/chromium/src/+/master/third_party/WebKit/Source/core/css/CSSProperties.json5?format=TEXT";
+    var supportedCSSPropertiesFile = path.join(releasePath, "CSSProperties.json5");
     fetchAndSaveCodePromise(supportedCSSPropertiesURL, supportedCSSPropertiesFile)
         .then(() => done())
         .catch(err => console.log("Error fetching CSS properties:", err));