Index of /extensions/SemanticMediaWiki/src/MediaWiki/Specials/FacetedSearch/Filters/ValueFilters

      Name                    Last modified      Size  Description
Parent Directory - CheckboxRangeGroupVa..> 2024-12-20 15:59 6.9K CheckboxValueFilter.php 2024-12-20 15:59 5.0K ListValueFilter.php 2024-12-20 15:59 6.0K RangeValueFilter.php 2024-12-20 15:59 3.6K