Revision 536
Added by doc almost 17 years ago
| EN.php | ||
|---|---|---|
| 46 | 46 |
$MENU['LANGUAGES'] = 'Languages'; |
| 47 | 47 |
$MENU['PREFERENCES'] = 'Preferences'; |
| 48 | 48 |
$MENU['SETTINGS'] = 'Settings'; |
| 49 |
$MENU['ADMINTOOLS'] = 'Admin-Tools'; |
|
| 49 | 50 |
$MENU['ACCESS'] = 'Access'; |
| 50 | 51 |
$MENU['USERS'] = 'Users'; |
| 51 | 52 |
$MENU['GROUPS'] = 'Groups'; |
Also available in: Unified diff
Moved the admin tools from 'Settings' to the new section 'Admin-Tools'.