mozilla/pdf.js — pull request #5193 by nnethercote (2014-08-15 14:39:54+00:00)
Title: Only use data-font-name attributes when necessary.

The data-font-name attribute of textLayer divs are only used by the Font
Inspector. This change omits them when Font Inspector is disabled.