mirror of
https://github.com/mozilla/pdf.js.git
synced 2026-05-30 23:00:59 +02:00
Ensure that users cannot provide incorrect values when trying to set the global worker-options. This patch was prompted by occasionally seeing users manually loading the `pdf.worker.mjs`-file and then assigning it to the `workerSrc`-option, something that obviously doesn't make sense and will cause fake-workers to be used (with poor performance as a result).