From 57387745302b5a7cede2d6f15bdedb0cd0205ca4 Mon Sep 17 00:00:00 2001 From: Tobias Diekershoff Date: Wed, 25 Jul 2018 09:37:08 +0200 Subject: [PATCH] Make profile settings available in the user settings --- mod/settings.php | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/mod/settings.php b/mod/settings.php index e8e1eddc21..aec0334d71 100644 --- a/mod/settings.php +++ b/mod/settings.php @@ -60,6 +60,13 @@ function settings_init(App $a) ], ]; + $tabs[] = [ + 'label' => L10n::t('Profiles'), + 'url' => 'profiles', + 'selected' => (($a->argc == 1) && ($a->argv[0] === 'profiles')?'active':''), + 'accesskey' => 'p', + ]; + if (Feature::get()) { $tabs[] = [ 'label' => L10n::t('Additional features'), -- 2.39.5