widget:filterInput: Difference between revisions
Jump to navigation
Jump to search
((by SublimeText.Mediawiker)) |
((by SublimeText.Mediawiker)) |
||
Line 1: | Line 1: | ||
<input type="text" id=" | <input type="text" id="filterCollocationsInput" class="filter-input" placeholder="<!--($placeholder}-->"> |
Latest revision as of 13:45, 5 May 2021
<input type="text" id="filterCollocationsInput" class="filter-input" placeholder="">