page tools / user tools

This commit is contained in:
Jana Deutschländer 2016-12-15 17:22:34 +01:00
commit cb680b1364
14 changed files with 242 additions and 92 deletions

View file

@ -9,3 +9,4 @@ $conf['logo'] = 'logo.png';
$conf['discussionPage'] = 'discussion:@ID@';
$conf['userPage'] = 'user:@USER@:';
$conf['hideTools'] = 0;
$conf['tasks_page'] = 'dashboard';