mozilla/pdf.js — pull request #3075 by brendandahl (2013-04-10 17:01:24+00:00)
Title: Fix priority of which font encoding is used.

The true type file in this font had an encoding dictionary that didn't have a baseEncoding but it did have a differences array (the spec says this shouldn't happen). Following some of poppler's logic on encoding handling we should still mark the font as having an encoding in this case though.

I'm still a bit iffy on our encoding handling code and thinking we should maybe revisit and more closely follow popplers lead since they've dealt with all of this already.