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

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

 // Copyright 2016 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 var childProcess = require("child_process");
 var fs = require("fs");
 var path = require("path");
 var shell = childProcess.execSync;
 
 var del = require("del");
@@ skipping 76 matching lines @@
 
     Promise.all([browserProtocolPromise, jsProtocolPromise])
         .then(() => done())
         .catch(err => console.log("Error fetching protocols:", err));
 }
 
 gulp.task("generateSupportedCSSProperties", ["fetchSupportedCSSProperties"], generateSupportedCSSProperties);
 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));
 }
 
 gulp.task("generateDevtoolsExtensionAPI", ["clean"], generateDevtoolsExtensionAPITask);
 function generateDevtoolsExtensionAPITask()
 {
     var script = path.join(scriptsPath, "build", "generate_devtools_extension_api.py");
     var inputs = [path.join(frontendPath, "extensions", "ExtensionAPI.js")];
@@ skipping 21 matching lines @@
 {
     return utils.fetch(url)
         .then(buffer => utils.atob(buffer.toString("binary")))
         .then(data => fsPromise.writeFile(file, data));
 }
 
 function runPythonScript(script, args)
 {
     shell(`python ${script} ${args.join(" ")}`);
 }