<?php

/**
 * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
 * 
 * @author Dominik Eckelmann <deckelmann@gmail.com>
 */
$lang['menu']                  = 'Suchindex Manager';
$lang['update']                = 'Index aktualisieren';
$lang['update_tip']            = 'Aktualisiere nur den Suchindex (gewöhnlich schneller)';
$lang['rebuild']               = 'Index neu aufbauen';
$lang['rebuild_tip']           = 'Lösche den Suchindex und baue ihn danach neu auf';
$lang['indexing']        = 'Indiziere jetzt:';
$lang['done']            = 'Index neu aufgebaut.';
$lang['pages']           = '%d Seiten gefunden.';
$lang['clearing']        = 'Index löschen...';
$lang['finding']         = 'Suche Seiten...';
$lang['notindexed']      = 'Übersprungen; bereits aktuell';
$lang['indexed']         = 'Aktualisiert';