mozilla/pdf.js — pull request #954 by notmasteryet (2011-12-18 18:54:31+00:00)
Title: Move text layer UI to viewer.js...

also fixes adding div with single char and replaces innerHTML to textContent