Add script for updating Chromium version

Author: koesie10

extensions/ql-vscode/gulpfile.ts/chromium-version.json

@@ -0,0 +1,4 @@
+{
+  "chromiumVersion": "114",
+  "electronVersion": "25.8.0"
+}

extensions/ql-vscode/gulpfile.ts/view.ts

@@ -3,6 +3,8 @@ import esbuild from "gulp-esbuild";
 import { createProject } from "gulp-typescript";
 import { goodReporter } from "./typescript";
 
+import * as chromiumVersion from "./chromium-version.json";
+
 const tsProject = createProject("src/view/tsconfig.json");
 
 export function compileViewEsbuild() {
@@ -13,7 +15,7 @@ export function compileViewEsbuild() {
         bundle: true,
         format: "iife",
         platform: "browser",
-        target: "chrome114", // Electron 25, VS Code 1.85
+        target: `chrome${chromiumVersion.chromiumVersion}`,
         jsx: "automatic",
         sourcemap: "linked",
         sourceRoot: "..",

extensions/ql-vscode/scripts/find-vscode-versions.ts

@@ -0,0 +1,42 @@
+import { join, resolve } from "path";
+import { outputFile, readJSON } from "fs-extra";
+import { minVersion } from "semver";
+import { getVersionInformation } from "./util/vscode-versions";
+
+const extensionDirectory = resolve(__dirname, "..");
+
+async function updateChromiumVersion() {
+  const packageJson = await readJSON(
+    resolve(extensionDirectory, "package.json"),
+  );
+
+  const minimumVsCodeVersion = minVersion(packageJson.engines.vscode)?.version;
+  if (!minimumVsCodeVersion) {
+    throw new Error("Could not find minimum VS Code version");
+  }
+
+  const versionInformation = await getVersionInformation(minimumVsCodeVersion);
+
+  const chromiumMajorVersion = versionInformation.chromiumVersion.split(".")[0];
+
+  console.log(
+    `VS Code ${minimumVsCodeVersion} uses Chromium ${chromiumMajorVersion}`,
+  );
+
+  await outputFile(
+    join(extensionDirectory, "gulpfile.ts", "chromium-version.json"),
+    `${JSON.stringify(
+      {
+        chromiumVersion: chromiumMajorVersion,
+        electronVersion: versionInformation.electronVersion,
+      },
+      null,
+      2,
+    )}\n`,
+  );
+}
+
+updateChromiumVersion().catch((e: unknown) => {
+  console.error(e);
+  process.exit(2);
+});