2019-12-06 23:37:39 +00:00
|
|
|
{{!
|
2020-05-29 19:07:55 +00:00
|
|
|
See @typedef SearchData
|
2019-12-06 23:37:39 +00:00
|
|
|
}}
|
2019-11-20 19:43:07 +00:00
|
|
|
<div id="p-search" role="search">
|
2020-05-29 19:07:55 +00:00
|
|
|
<h3 {{{html-userlangattributes}}}>
|
|
|
|
<label for="searchInput">{{msg-search}}</label>
|
2019-11-20 19:43:07 +00:00
|
|
|
</h3>
|
2020-05-29 19:07:55 +00:00
|
|
|
<form action="{{form-action}}" id="searchform">
|
|
|
|
<div id="{{form-id}}">
|
|
|
|
{{{html-input}}}
|
|
|
|
<input type="hidden" name="title" value="{{page-title}}">
|
2019-11-20 19:43:07 +00:00
|
|
|
{{! We construct two buttons (for 'go' and 'fulltext' search modes), but only one will be
|
|
|
|
visible and actionable at a time (they are overlaid on top of each other in CSS).
|
|
|
|
* Browsers will use the 'fulltext' one by default (as it's the first in tree-order),
|
|
|
|
which is desirable when they are unable to show search suggestions (either due to being
|
|
|
|
broken or having JavaScript turned off).
|
|
|
|
* The mediawiki.searchSuggest module, after doing tests for the broken browsers, removes
|
|
|
|
the 'fulltext' button and handles 'fulltext' search itself; this will reveal the 'go'
|
|
|
|
button and cause it to be used. !}}
|
2020-05-29 19:07:55 +00:00
|
|
|
{{{html-button-search-fallback}}}
|
|
|
|
{{{html-button-search}}}
|
2019-11-20 19:43:07 +00:00
|
|
|
</div>
|
|
|
|
</form>
|
|
|
|
</div>
|