Merge pull request #17094 from Snuffleupagus/debugger-module

Rename `web/debugger.js` since it's actually a JavaScript module (PR 17055 follow-up)
mozilla · Oct 8, 2023 · d64f223 · d64f223
2 parents f049670 + 6ac3da0
commit d64f223
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/gulpfile.mjs b/gulpfile.mjs
@@ -68,7 +68,7 @@ const TMP_DIR = BUILD_DIR + "tmp/";
 const TYPESTEST_DIR = BUILD_DIR + "typestest/";
 const COMMON_WEB_FILES = [
  "web/images/*.{png,svg,gif}",
- "web/debugger.{css,js}",
+ "web/debugger.{css,mjs}",
 ];
 const MOZCENTRAL_DIFF_FILE = "mozcentral.diff";
 

diff --git a/web/debugger.js → web/debugger.mjs b/web/debugger.js → web/debugger.mjs
@@ -574,7 +574,7 @@ class PDFBug {
 
  const link = document.createElement("link");
  link.rel = "stylesheet";
- link.href = url.replace(/.js$/, ".css");
+ link.href = url.replace(/\.mjs$/, ".css");
 
  document.head.append(link);
  }

diff --git a/web/viewer.js b/web/viewer.js
@@ -178,7 +178,7 @@ function getViewerConfiguration() {
  typeof PDFJSDev === "undefined" || PDFJSDev.test("GENERIC")
  ? document.getElementById("fileInput")
  : null,
- debuggerScriptPath: "./debugger.js",
+ debuggerScriptPath: "./debugger.mjs",
  };
 }