Search options is a special page for wiki admins to administrate the wiki search.
How to administrate the search?
To find the search options have a look at the admin navigation. There you will find a link to the special page.
Administrators can do the following actions:
- Re-create index: a click on this button will start the indexing
- Delete index: a click on this button will delete the index
- Overwrite index: a click on this button will start overwriting the index
- Statistic: if you click on this button you can start a request
If you click on statistics you will be redirected to
Choose "search queries" as data base and limit the date range.