htwkmooc/codeocean
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #166 from openHPI/clustered-admin-menu

Browse Source 
Structure admin menu
This commit is contained in:
rteusner
2018-04-11 15:51:05 +02:00
committed by GitHub
parent c126ed684f 11f168bef7
commit 5a2394f1b9
7 changed files with 91 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
config/locales/en.yml
View File

@@ -755,3 +755,9 @@ en:
with_comments: "RfCs with Comments"
users:
currently_active: "Active (5 minutes)"
navigation:
sections:
errors: "Errors"
files: "Files"
users: "Users"
integrations: "Integrations"