diff options
Diffstat (limited to 'play.js')
-rw-r--r-- | play.js | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -125,7 +125,7 @@ function sub_log_entry_tip(match, p1, offset, string) { } let last_log_who = 'st'; -create_log_entry = function (text) { +function on_log(text) { let p = document.createElement("div"); text = text.replace(/&/g, "&"); text = text.replace(/</g, "<"); |