1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 22:58:07 +02:00

Merge pull request #17038 from ayushmourya/master

Make downloadManager optional in JSDoc types
This commit is contained in:
calixteman 2023-09-28 17:23:33 +02:00 committed by GitHub
commit b6d75e736a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -37,7 +37,7 @@ import { PresentationModeState } from "./ui_utils.js";
* for annotation icons. Include trailing slash.
* @property {boolean} renderForms
* @property {IPDFLinkService} linkService
* @property {IDownloadManager} downloadManager
* @property {IDownloadManager} [downloadManager]
* @property {IL10n} l10n - Localization service.
* @property {boolean} [enableScripting]
* @property {Promise<boolean>} [hasJSActionsPromise]