Backup ExtendedSearch Konfiguration Konfigurationsordner settings.d Neu-Indexierung der Suche Ordnerstruktur unter Windows Performance-Optimierungen ManualRecache MySQL PHP VisualEditor Konfiguration