mozilla/pdf.js — pull request #3920 by brendandahl (2013-11-14 18:27:17+00:00)
Title: Use page promise for text extraction.

Fixes #3919