mozilla/pdf.js — pull request #5083 by Rob--W (2014-07-24 21:43:26+00:00)
Title: Initialize PDFView.url = ''

The absence of the `PDFView.url` property caused the following error in `PDFView.download`:

> Cannot read property 'split' of undefined

This property is unset when the PDF was loaded through a typed array instead of a URL. With the fix, the file name will default to "document.pdf", as defined by `getPDFFileNameFromURL` in web/ui_utils.js