widget:filterInput: Difference between revisions

Latest revision as of 13:45, 5 May 2021

Revision as of 13:43, 5 May 2021 (view source) Jeremi (talk \| contribs) ((by SublimeText.Mediawiker)) ← Older edit		Latest revision as of 13:45, 5 May 2021 (view source) Jeremi (talk \| contribs) ((by SublimeText.Mediawiker))
(One intermediate revision by the same user not shown)
Line 1:		Line 1:
	<input type="text" id="~~filterInput~~" placeholder="<!--($placeholder}-->">		<input type="text" id="filterCollocationsInput" class="filter-input" placeholder="<!--($placeholder}-->">