1====== Gestionnaire d'index de recherche ====== 2 3Cette page permet de reconstruire l'index utilisé par la recherche en 4texte intégral. C'est généralement inutile puisque l'index se construit 5et se met à jour lorsque les internautes parcourent le wiki. Cependant, 6si vous venez de faire une mise à jour, d'ajouter ou de supprimer un 7grand nombre de pages, cela peut être une bonne idée de le nettoyer. 8 9Il faut avoir un navigateur récent, car le gestionnaire utilise du 10JavaScript moderne pour effectuer plusieurs tâches en arrière plan 11(technologie [[wp>AJAX]]). 12 13Reconstruire l'index prend du temps. Vous devriez laisser la page ouverte 14jusqu'à ce que l'indexation soit terminée. 15