Merge branch 'master' of https://github.com/mozilla/pdf.js into title-mods

diff --cc web/viewer.js
index 389eee6abb666f600045d9f6aef2970edc2be022,9f4c085812a69e1bacdfa7a21d67c969ef5bb1e2..d133b09dab257eeead58cc28bcbc668a0959ff4c
--- 1/web/viewer.js
--- 2/web/viewer.js
+++ b/web/viewer.js
@@@ -267,10 -300,12 +309,14 @@@ var PDFView = 
    },
  
    open: function pdfViewOpen(url, scale) {
 -    document.title = this.url = url;
 +    this.url = url;
 +
 +    document.title = getFileName(url) || url;
  
+     if (!PDFView.loadingBar) {
+       PDFView.loadingBar = new ProgressBar('#loadingBar', {});
+     }
+ 
      var self = this;
      PDFJS.getPdf(
        {