Widget:filterInput: Difference between revisions
Jump to navigation
Jump to search
((by SublimeText.Mediawiker)) |
(No difference)
|
Revision as of 13:49, 5 May 2021
<input type="text" id="filterCollocationsInput" class="filter-input" placeholder="">