From b91d8694a94c94a3346a0f8dfa5b084529c5946c Mon Sep 17 00:00:00 2001
From: discomrade <83621080+discomrade@users.noreply.github.com>
Date: Tue, 6 Jul 2021 12:41:16 +0000
Subject: [PATCH] Prevent double-encoding of HTML entities in [code]

---
 inc/functions.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/inc/functions.php b/inc/functions.php
index 05b10cd6..4d3d2f51 100755
--- a/inc/functions.php
+++ b/inc/functions.php
@@ -2638,7 +2638,7 @@ function markup(&$body, $track_cites = false, $op = false) {
 
 			$code = rtrim(ltrim($code, "\r\n"));
 
-			$code = "<pre class='code lang-$code_lang'>".str_replace(array("\n","\t"), array("&#10;","&#9;"), htmlspecialchars($code))."</pre>";
+			$code = "<pre class='code lang-$code_lang'>".str_replace(array("\n","\t"), array("&#10;","&#9;"), htmlspecialchars($code, ENT_COMPAT, "UTF-8", false))."</pre>";
 
 			$body = str_replace("<code $id>", $code, $body);
 		}