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

 NameLast modifiedSizeDescription
 Parent Directory   -  
 CheckboxRangeGroupVa..>2024-07-18 13:31 6.9K 
 CheckboxValueFilter.php2024-07-18 13:31 5.0K 
 ListValueFilter.php 2024-07-18 13:31 6.0K 
 RangeValueFilter.php 2024-07-18 13:31 3.6K