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 32: Line 31:
 
|?$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 19:57, 23 September 2022

Search documentation