diff options
Diffstat (limited to 'play.js')
-rw-r--r-- | play.js | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1344,6 +1344,7 @@ function sub_space(match, p1) { const F_DS = '<img class="f" src="images/Flags_DS.png">' const F_BK = '<img class="f" src="images/Flags_BK.png">' const F_VE = '<img class="f" src="images/Flags_VE.png">' +const F_MI = '<img class="f" src="images/Flags_MI.png">' function on_log(text) { let p = document.createElement("div") @@ -1361,6 +1362,7 @@ function on_log(text) { text = text.replace(/\bFDS\b/g, F_DS) text = text.replace(/\bFBK\b/g, F_BK) text = text.replace(/\bFVE\b/g, F_VE) + text = text.replace(/\bFMI\b/g, F_MI) if (text.match(/^\.h1 Mongol Invaders/)) { text = text.substring(19) |