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