mirror of
https://github.com/mozilla/pdf.js.git
synced 2026-05-30 14:51:00 +02:00
Also fixes an inconsistency in the 'PageError' handler, for `getOperatorList`, in the API.
Also fixes an inconsistency in the 'PageError' handler, for `getOperatorList`, in the API.