Fix possible wrong null assignment to innerHTML on IE10 (#1489145)

Aleksander Machniak

2013-06-04 9749da9fcc149266323df7dd2b8fb9406e37ca1b

Fix possible wrong null assignment to innerHTML on IE10 (#1489145)

 program/js/app.js

@@ -5805,7 +5805,7 @@

        for (c=0, len=repl.length; c < len; c++) {
          cell = document.createElement('td');
          cell.innerHTML = repl[c].html;
          cell.innerHTML = repl[c].html || '';
          if (repl[c].id) cell.id = repl[c].id;
          if (repl[c].className) cell.className = repl[c].className;
          tr.appendChild(cell);