mozilla/pdf.js — pull request #4689 by timvandermeij (2014-04-25 22:08:38+00:00)
Title: Fixes DownloadManager for IE10 and above

Fixes #4688.