mozilla/pdf.js — pull request #1500 by saebekassebil (2012-04-06 13:01:40+00:00)
Title: Use Title - Filename as document.title

As the title states this just appends the document.title with the PDF title if possible. @aleth says that he's quite frequently seeing PDF documents with a "()" title. This is probably because of some "bad" PDF generator/encoder, but it would nonetheless be better to display the filename in such cases - which is what this pull request does. After a discussion with yury, we decided to do this, so that the title will always contain *some* relevant information (at least the filename).

"Fixes" #1476