Added a query plan recorder for debugging purposes

2025-07-11 00:11:02 +02:00
parent 2fd7d9767b
commit 59e85ee424
29 changed files with 546 additions and 44 deletions
@@ -44,7 +44,10 @@
 							<li>${scan-settings class="dropdown-item"}</li>
 							<li>${scanner class="dropdown-item"}</li>
 							<li>${users class="dropdown-item"}</li>
-							<li>${tracing class="dropdown-item"}</li>
+							${<if-debug-tools>}
+							<li class="dropdown-divider"></li>
+							<li>${debug-tools class="dropdown-item"}</li>
+							${</if-debug-tools>}
 						</ul>
 					</li>
 				${</if-is-admin>}