innerText -> innerHTML to make auto_tests/misc/local.html work in Firefox

diff --git a/auto_tests/misc/local.html b/auto_tests/misc/local.html
index 961a9d5..5afde2d 100644 (file)
--- a/auto_tests/misc/local.html
+++ b/auto_tests/misc/local.html
@@ -127,7 +127,7 @@
     var summary = { failed: 0, passed: 0 };
     postResults(results, summary);
     resultsDiv.appendChild(document.createElement("hr"));
-    document.getElementById('summary').innerText = "(" + summary.failed + " failed, " + summary.passed + " passed)";
+    document.getElementById('summary').innerHTML = "(" + summary.failed + " failed, " + summary.passed + " passed)";
   }
 
   function createResultsDiv() {
@@ -236,7 +236,7 @@ if (selector != null) { // running a test
   var createLink = function(parent, text, url) {
     var li = createAttached("li", parent);
     var a = createAttached("a", li);
-    a.innerText = text;
+    a.innerHTML = text;
     a.href = url;
   }
   if (tc == null) {