[JSDOC2TS]: Migrate main

Bug: chromium:1158760
Change-Id: Ibe9b0fe480794bb788253a3b9902d4cc42a5ca2e
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/2789347
Commit-Queue: Jan Scheffler <janscheffler@chromium.org>
Reviewed-by: Tim van der Lippe <tvanderlippe@chromium.org>
diff --git a/scripts/check_experiments.js b/scripts/check_experiments.js
index 240ca18..1fcd199 100644
--- a/scripts/check_experiments.js
+++ b/scripts/check_experiments.js
@@ -148,7 +148,7 @@
 }
 
 function main() {
-  const mainImplPath = path.resolve(__dirname, '..', 'front_end', 'main', 'MainImpl.js');
+  const mainImplPath = path.resolve(__dirname, '..', 'front_end', 'main', 'MainImpl.ts');
   const mainImplFile = fs.readFileSync(mainImplPath, 'utf-8');
 
   const userMetricsPath = path.resolve(__dirname, '..', 'front_end', 'core', 'host', 'UserMetrics.ts');