Convert CSSProperties.in to JSON5 format

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 @@
   var jsProtocolPromise = fetchAndSaveCodePromise(jsProtocolURL, jsProtocolFile);
 
   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');
+      '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')];
   var outputs = [path.join(releasePath, 'devtools_extension_api.js')];
@@ skipping 14 matching lines @@
 
 function fetchAndSaveCodePromise(url, file) {
   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(' ')}`);
 }