From b5c3c255e6157b4d3adc87da4908b5acd37f91a6 Mon Sep 17 00:00:00 2001
From: Tom Reijnders <reijnders@tor.nl>
Date: Mon, 1 Apr 2024 22:45:21 +0200
Subject: [PATCH] $development should NOT be set to true in git repo

---
 config.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.php b/config.php
index e11439416..4debe30f9 100644
--- a/config.php
+++ b/config.php
@@ -40,7 +40,7 @@
 // and logging (to /tmp/debug.log) are turned on; either of these may help you
 // diagnose installation and integration issues. 
 global $development;
-$development = true;
+$development = false;
 
 ini_set('error_reporting', 0);
 if ($development) {