diff options
| -rw-r--r-- | page.js | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,3 +1,3 @@ (function() { - document.getElementById('header').innerHTML = generate_file_string(); + document.getElementById('header').textContent = generate_file_string(); })();
\ No newline at end of file |
