<?php
/**
 * english language file
 */

$lang['menu'] = 'Searchindex Manager';

$lang['update'] = 'Update Index';
$lang['update_tip'] = 'Just update the search index (usually quicker)';
$lang['rebuild'] = 'Rebuild Index';
$lang['rebuild_tip'] = 'Clear then completely rebuild the search index';

$lang['js']['indexing'] = 'Indexed:';
$lang['js']['done']     = 'Finished indexing.';
$lang['js']['pages']    = '%d pages found.';
$lang['js']['clearing'] = 'Clearing index...';
$lang['js']['finding']  = 'Finding pages...';
$lang['js']['notindexed']  = 'Skipped: Up-to-date';
$lang['js']['indexed']     = 'Updated';