Strictly speaking, no. Should I revert it, or is it OK?
I just changed it so that it would look similar to: https://github.com/Snuffleupagus/pdf.js/blob/issue-4186/web/ui_utils.js#L133, since that change is necessary.