escape HTML entities in source viewer

1 files changed, 6 insertions, 0 deletions

diff --git a/assets/js/custom.js b/assets/js/custom.js
index 5a9a6a55..d270087b 100644
--- a/assets/js/custom.js
+++ b/assets/js/custom.js
@@ -32,6 +32,12 @@
   });
 
   function cleanSource(html) {
+    html = html.replace(/×/g, "&close;")
+               .replace(/«/g, "«")
+               .replace(/»/g, "»")
+               .replace(/←/g, "←")
+               .replace(/→/g, "→");
+
     var lines = html.split(/\n/);
 
     lines.shift();