Difference between revisions of "Widget:filterInput"

Revision as of 13:50, 5 May 2021

Revision as of 13:49, 5 May 2021 (view source) Jeremi (talk \| contribs) ((by SublimeText.Mediawiker))		Revision as of 13:50, 5 May 2021 (view source) Jeremi (talk \| contribs) ((by SublimeText.Mediawiker)) Newer edit →
Line 1:		Line 1:
−	<input type="text" id="filterCollocationsInput" class="filter-input" placeholder="<!--($placeholder}-->">	+	<input type="text" id="filterCollocationsInput" class="filter-input" placeholder="<!--{$placeholder}-->">