19add4c0 |
1 | <?php //$Id$ |
2 | $string['repository'] = 'Repository'; |
3 | $string['repositories'] = 'Repositories'; |
4 | $string['manageuserrepository'] = 'Manage individual repository'; |
5 | $string['plugin'] = 'Repository Plug-ins'; |
6 | $string['settings'] = 'Settings'; |