From bab34641d302fa6915c1e1322ac3e71a5f101c2c Mon Sep 17 00:00:00 2001
From: Tom Reijnders <reijnders@tor.nl>
Date: Mon, 29 Jan 2024 20:42:25 +0100
Subject: [PATCH] Load tools from folders as well in load_registrations

---
 load_registrations.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/load_registrations.php b/load_registrations.php
index a8f089395..196ee29f7 100644
--- a/load_registrations.php
+++ b/load_registrations.php
@@ -88,6 +88,10 @@ function loadRegistrations()
                     $tools[] = $dtool;
                 }
             }
+            $others = findAllRegistrationsInternal();
+            $tools = array_merge($tools, $others);
+
+
             return $tools;
         }
     }