| Line 11: | Line 11: | ||
}} | }} | ||
<div class="main-search"> | <div class="main-search"> | ||
| + | {{#widget:DocsSearchResultsHeader}} | ||
{{#WikiSearchFrontend:size=10 | {{#WikiSearchFrontend:size=10 | ||
|facets=4 | |facets=4 | ||
| Line 31: | Line 32: | ||
|?$page | |?$page | ||
|?$Modification date#display=date#label=Updated#type=date}} | |?$Modification date#display=date#label=Updated#type=date}} | ||
| + | {{#widget:DocsSearchResultsFooter}} | ||
</div> | </div> | ||
Revision as of 20:49, 23 September 2022
Search documentation
Error in widget DocsSearchResultsHeader: Unable to load template 'wiki:DocsSearchResultsHeader'
Error in widget DocsSearchResultsFooter: Unable to load template 'wiki:DocsSearchResultsFooter'