diff -ru a/settings/defaults.php b/settings/defaults.php --- a/settings/defaults.php 2019-12-28 23:57:37.000000000 +0200 +++ b/settings/defaults.php 2020-02-06 14:31:22.613567043 +0200 @@ -1,6 +1,6 @@