1<?php 2 3/** 4 * @license GPL 2 (http://www.gnu.org/licenses/gpl.html) 5 * 6 * @author Dominik Eckelmann <deckelmann@gmail.com> 7 */ 8$lang['menu'] = 'Suchindex Manager'; 9$lang['update'] = 'Index aktualisieren'; 10$lang['update_tip'] = 'Aktualisiere nur den Suchindex (gewöhnlich schneller)'; 11$lang['rebuild'] = 'Index neu aufbauen'; 12$lang['rebuild_tip'] = 'Lösche den Suchindex und baue ihn danach neu auf'; 13$lang['js']['indexing'] = 'Indiziere jetzt:'; 14$lang['js']['done'] = 'Index neu aufgebaut.'; 15$lang['js']['pages'] = '%d Seiten gefunden.'; 16$lang['js']['clearing'] = 'Index löschen...'; 17$lang['js']['finding'] = 'Suche Seiten...'; 18$lang['js']['notindexed'] = 'Übersprungen; bereits aktuell'; 19$lang['js']['indexed'] = 'Aktualisiert'; 20