Line 11: Line 11:
 
}}
 
}}
 
<div class="main-search">
 
<div class="main-search">
{{#Widget:DocsSearchResultsHeader}}
+
{{#widget:DocsSearchResultsHeader|}}
 
{{#WikiSearchFrontend:size=10
 
{{#WikiSearchFrontend:size=10
 
|facets=4
 
|facets=4

Revision as of 20:55, 23 September 2022

Search documentation