Beu d6745370b2 add a setting to disable the cache		2023-09-07 18:16:25 +02:00
..
Setting.php	Add compatibility with php 8.2	2023-01-17 10:06:56 +01:00
SettingManager.php	add a setting to disable the cache	2023-09-07 18:16:25 +02:00