Switch to textContent. Fix lint.

diff --git a/src/util.js b/src/util.js
index 4ef87c245592277d766134dc138b54d87a065065..5c48c198e99a12f080076cac9d45823844a35324 100644 (file)
--- a/src/util.js
+++ b/src/util.js
@@ -409,6 +409,6 @@ var Bench = (function BenchClosure() {
       }
       return out;
     }
-  }
+  };
   return Bench;
 })();

diff --git a/web/viewer.js b/web/viewer.js
index 2e4c1a767832c53705f72434aff7253305bc83e0..de32aca89bdf448e89c3ef027eb9f1f0a0a35f85 100644 (file)
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -887,9 +887,9 @@ var PageView = function pageView(container, content, id, pageWidth, pageHeight,
     if (!PDFJS.enableBench || !this.stats || PDFView.page != this.id)
       return;
     var stats = this.stats;
-    var statsHtml = 'Page ' + this.id + '\n';
-    statsHtml += stats.toString().replace(/\n/g, '<br>');
-    document.getElementById('info').innerHTML = statsHtml;
+    var statsText = 'Page ' + this.id + '\n';
+    statsText += stats.toString();
+    document.getElementById('info').textContent = statsText;
   };
 };