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

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