Skip to content

[pull] master from mozilla:master#417

Merged
pull[bot] merged 6 commits into
code:masterfrom
mozilla:master
Jun 15, 2026
Merged

[pull] master from mozilla:master#417
pull[bot] merged 6 commits into
code:masterfrom
mozilla:master

Conversation

@pull

@pull pull Bot commented Jun 15, 2026

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

Snuffleupagus and others added 6 commits June 15, 2026 12:02
… getter

This was added in PR 18972 and it became unused in PR 19085, however it was accidentally left behind.
…dler

Given that the Promise returned by the `PDFDocument.prototype.getPage` method *always* resolves with a `Page` instance, checking that the page is defined isn't necessary; note https://github.com/mozilla/pdf.js/blob/3a093291135136f20babaf8d76c7dee3cc938515/src/core/document.js#L1702-L1723

Furthermore the `Page.prototype.collectAnnotationsByType` method is asynchronous, and thus it always returns a Promise, hence it's "pointless" to fallback to return an empty Array.
For checkbox and radio button fields, the export value can differ from the
appearance-state name: the field's inheritable `Opt` array holds the real
export values (used for non-Latin text, or values shared between buttons).
We previously exposed the appearance-state name as the export value.
Resolve checkbox/radio export values from the 'Opt' entry
Remove the unused `HighlightOutline.prototype.classNamesForOutlining` getter
…page-check

Remove unneeded check in the "GetAnnotationsByType" worker-thread handler
@pull pull Bot locked and limited conversation to collaborators Jun 15, 2026
@pull pull Bot added the ⤵️ pull label Jun 15, 2026
@pull pull Bot merged commit 7f7b38b into code:master Jun 15, 2026
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
@pull pull Bot had a problem deploying to code-coverage June 15, 2026 20:03 Failure
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants