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