1<?php
2/**
3 * english language file
4 */
5
6$lang['menu'] = 'Searchindex Manager';
7
8$lang['update'] = 'Update Index';
9$lang['update_tip'] = 'Just update the search index (usually quicker)';
10$lang['rebuild'] = 'Rebuild Index';
11$lang['rebuild_tip'] = 'Clear then completely rebuild the search index';
12
13$lang['indexing'] = 'Indexed:';
14$lang['done']     = 'Finished indexing.';
15$lang['pages']    = '%d pages found.';
16$lang['clearing'] = 'Clearing index...';
17$lang['finding']  = 'Finding pages...';
18$lang['notindexed']  = 'Skipped: Up-to-date';
19$lang['indexed']     = 'Updated';