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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      CategoryFilter.php      2024-12-20 15:59  3.9K  
      PropertyFilter.php      2024-12-20 15:59  4.0K  
      ValueFilter.php         2024-12-20 15:59  4.4K  
      ValueFilterFactory.php  2024-12-20 15:59  2.1K  
      ValueFilters/           2024-12-20 15:59    -