Rename web/debugger.js since it's actually a JavaScript module (PR 17055 follow-up)

It's been loaded as a JavaScript module for a long time, and given that the file is bundled as-is (without building) it seems reasonable to just change the file extension now.
This commit is contained in:
Jonas Jenwald 2023-10-08 13:14:09 +02:00
parent f04967017f
commit 6ac3da0d1f
3 changed files with 3 additions and 3 deletions

View file

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