diff --git a/web/app_options.js b/web/app_options.js index 461336dc1..34615b8fc 100644 --- a/web/app_options.js +++ b/web/app_options.js @@ -502,7 +502,10 @@ const defaultOptions = { workerPort: { /** @type {Object} */ - value: null, + value: + typeof PDFJSDev !== "undefined" && PDFJSDev.test("MOZCENTRAL") + ? globalThis.pdfjsPreloadedWorker + : null, kind: OptionKind.WORKER, }, workerSrc: {