From 5cfe6b577b287023f8535d870b1c66a0e1875e54 Mon Sep 17 00:00:00 2001
From: Henning Dieterichs <hdieterichs@microsoft.com>
Date: Wed, 19 Jul 2023 14:51:07 +0200
Subject: [PATCH] Fixes CodeQL

---
 test/manual/dev-setup.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/test/manual/dev-setup.js b/test/manual/dev-setup.js
index a2c8cc4657..ac2df17964 100644
--- a/test/manual/dev-setup.js
+++ b/test/manual/dev-setup.js
@@ -35,10 +35,10 @@
 		div.style.padding = '5px 20px 5px 5px';
 		div.style.zIndex = '1000';
 
-		div.innerHTML =
-			'<ul><li>' +
-			renderLoadingOptions(true) +
-			(isRelease ? '' : `</li><li>${renderLoadingOptions(false)}`) +
+		div.innerHTML = // CodeQL [SM03712] This code is not deployed and serves as local test code. No risk of malicious input.
+			'<ul><li>' + // CodeQL [SM03712] This code is not deployed and serves as local test code. No risk of malicious input.
+			renderLoadingOptions(true) + // CodeQL [SM03712] This code is not deployed and serves as local test code. No risk of malicious input.
+			(isRelease ? '' : `</li><li>${renderLoadingOptions(false)}`) + // CodeQL [SM03712] This code is not deployed and serves as local test code. No risk of malicious input.
 			'</li></ul>'; // CodeQL [SM03712] This code is not deployed and serves as local test code. No risk of malicious input.
 
 		document.body.appendChild(div);