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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      -1                      2025-11-05 13:19  3.3K  
      CheckboxRangeGroupVa..> 2024-12-20 01:31  6.9K  
      CheckboxValueFilter.php 2024-12-20 01:31  5.0K  
      ListValueFilter.php     2024-12-20 01:31  6.0K  
      RangeValueFilter.php    2024-12-20 01:31  3.6K