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

 NameLast modifiedSizeDescription
 Parent Directory   -  
 CheckboxRangeGroupVa..>2025-04-14 07:15 6.9K 
 CheckboxValueFilter.php2025-04-14 07:15 5.0K 
 ListValueFilter.php 2025-04-14 07:15 6.0K 
 RangeValueFilter.php 2025-04-14 07:15 3.6K