From: Anri Lombard <redacted>
Date: Thu, 1 Jan 2026 12:44:11 +0000 (+0200)
Subject: webui: fix code copy stripping XML/HTML tags (#18518)
X-Git-Tag: upstream/0.0.7721~119
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=d5574c919ca4dea2eca8039da05b96e70a979532;p=pkg%2Fggml%2Fsources%2Fllama.cpp

webui: fix code copy stripping XML/HTML tags (#18518)

* webui: fix code copy stripping XML/HTML tags

* webui: update static build
---

diff --git a/tools/server/public/index.html.gz b/tools/server/public/index.html.gz
index d1c10eed..b3983b2b 100644
Binary files a/tools/server/public/index.html.gz and b/tools/server/public/index.html.gz differ
diff --git a/tools/server/webui/src/lib/utils/clipboard.ts b/tools/server/webui/src/lib/utils/clipboard.ts
index 91e8ea75..940e64c8 100644
--- a/tools/server/webui/src/lib/utils/clipboard.ts
+++ b/tools/server/webui/src/lib/utils/clipboard.ts
@@ -65,10 +65,7 @@ export async function copyCodeToClipboard(
 	successMessage = 'Code copied to clipboard',
 	errorMessage = 'Failed to copy code'
 ): Promise<boolean> {
-	const doc = new DOMParser().parseFromString(rawCode, 'text/html');
-	const decodedCode = doc.body.textContent ?? rawCode;
-
-	return copyToClipboard(decodedCode, successMessage, errorMessage);
+	return copyToClipboard(rawCode, successMessage, errorMessage);
 }
 
 /**