mozilla/pdf.js — pull request #4481 by bthorben (2014-03-18 15:24:25+00:00)
Title: refactor src/core/pdf_manager.js: rename pdfModel to pdfDocument

Fix #4480, only changes in src/core/worker.js below line 296 are new. It's amazing that all tests didn't find this error?!