Merge pull request #17094 from Snuffleupagus/debugger-module

Rename `web/debugger.js` since it's actually a JavaScript module (PR 17055 follow-up)
This commit is contained in:
Jonas Jenwald 2023-10-08 13:56:37 +02:00 committed by GitHub
commit d64f223d03
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 3 deletions

View File

@ -68,7 +68,7 @@ const TMP_DIR = BUILD_DIR + "tmp/";
const TYPESTEST_DIR = BUILD_DIR + "typestest/"; const TYPESTEST_DIR = BUILD_DIR + "typestest/";
const COMMON_WEB_FILES = [ const COMMON_WEB_FILES = [
"web/images/*.{png,svg,gif}", "web/images/*.{png,svg,gif}",
"web/debugger.{css,js}", "web/debugger.{css,mjs}",
]; ];
const MOZCENTRAL_DIFF_FILE = "mozcentral.diff"; const MOZCENTRAL_DIFF_FILE = "mozcentral.diff";

View File

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

View File

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