Make profile settings available in the user settings

diff --git a/mod/settings.php b/mod/settings.php
index e8e1eddc213dfcaa21a00a17d5fb97c72002d4ec..aec0334d71eb1207c460a50a4c3f453aeea88497 100644 (file)
--- 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'),