website_jukni/dokuwiki/lib/plugins/searchindex/lang/en/lang.php
2017-12-29 15:51:59 +01:00

19 lines
No EOL
611 B
PHP

<?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';