1====== Suchindex Manager ======
2
3Mit dieser Seite können Sie den Index neu erstellen, der von der Volltextsuche benutzt wird.
4Normalerweise ist das nicht nötig, da sich der Index von selbst erstellt und aktualisiert,
5während Besucher das Wiki benutzen. Aber falls Sie gerade eine große Menge Seiten aktualisiert,
6hinzugefügt oder entfernt haben, kann es hilfreich sein, den Suchindex neu zu erstellen.
7
8Dieser Manager benötigt einen aktuellen Browser, da er modernes JavaScript benutzt,
9um mehrere Aufgaben im Hintergrund mit [[wp>AJAX]] auszuführen.
10
11Den Index neu zu erstellen dauert lange. Sie sollten diese Seite so lange
12geöffnet lassen, bis die Indizierung beendet ist.
13