<?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['js']['indexing']        = 'Indiziere jetzt:';
$lang['js']['done']            = 'Index neu aufgebaut.';
$lang['js']['pages']           = '%d Seiten gefunden.';
$lang['js']['clearing']        = 'Index löschen...';
$lang['js']['finding']         = 'Suche Seiten...';
$lang['js']['notindexed']      = 'Übersprungen; bereits aktuell';
$lang['js']['indexed']         = 'Aktualisiert';
