Project

General

Profile

« Previous | Next » 

Revision 536

Added by doc over 16 years ago

Moved the admin tools from 'Settings' to the new section 'Admin-Tools'.

View differences:

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