This code is unused since PR 5749, and according to https://github.com/mozilla/pdf.js/pull/5749#discussion_r25931841 it should be removed.
This is the pdf.js project output, https://github.com/mozilla/pdf.js Current extension version is: PDFJSSCRIPT_VERSION