mirror of
https://github.com/mozilla/pdf.js.git
synced 2026-02-08 00:21:11 +01:00
This naming issue has been present since PR 3529, but at least I cannot find any issues/bugs that seem to have been caused by it, which is good. The patch also removes an unnecessary `else` branch, since an already existing `break` means that it's redundant. Fixes 7232.