mozilla/pdf.js — pull request #4440 by bthorben (2014-03-12 08:55:41+00:00)
Title: refactor src/core/pdf_manager.js: rename pdfModel to pdfDocument

Renamed `pdfModel` to `pdfDocument` to let the name closer resemble what the
variable actually holds. Function `ensureModel` renamed accordingly to `ensureDoc`.