remove personal setting for the big menu

This commit is contained in:
Simon Vieille 2020-08-11 10:33:48 +02:00
commit 8c3dd2a4f6
Signed by untrusted user: deblan
GPG key ID: 03383D15A1D31745
3 changed files with 0 additions and 25 deletions

View file

@ -61,12 +61,6 @@ class PersonalSettingController extends Controller
if (!in_array($value, ['0', '1'])) {
$value = '1';
}
} elseif ($name === 'big-menu') {
$doSave = true;
if (!in_array($value, ['0', '1'])) {
$value = '0';
}
}
if ($doSave) {