mozilla/pdf.js — pull request #3326 by brendandahl (2013-06-03 18:41:00+00:00)
Title: Simplify getting the pdf url.

Part of the feedback from https://bugzilla.mozilla.org/show_bug.cgi?id=871530#c5