This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |
| wiki:searchindex_manager_plugin [2023/02/18 06:44] – ↷ Page moved from contributing:searchindex_manager_plugin to wiki:searchindex_manager_plugin suedunham | wiki:searchindex_manager_plugin [2023/02/22 13:17] (current) – chnage title suedunham |
|---|
| ====== Searchindex Manager plugin ====== | ====== SearchIndex Manager plugin ====== |
| |
| [[doku>plugin:searchindex|Searchindex Manager plugin page]] This isn't necessarily required but it can be useful to rebuild the tag index should it be corrupted by moving pages or for other reasons. At least it seems to have worked; either it takes longer to fully function than I've given it or the feedback it gives is ambiguous. | [[doku>plugin:searchindex|Searchindex Manager plugin page]] This isn't necessarily required but it can be useful to rebuild the tag index should it be corrupted by moving pages or for other reasons. At least it seems to have worked; either it takes longer to fully function than I've given it or the feedback it gives is ambiguous. |
| |