beu d42a8a55a9 Fix sorting by priority		2022-04-13 10:46:42 +02:00
..
Setting.php	Add the possibility to unlink settings on multiple servers	2022-04-10 22:11:28 +02:00
SettingManager.php	Fix sorting by priority	2022-04-13 10:46:42 +02:00