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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      -1                      2025-11-05 09:58  2.8K  
      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/           2025-10-02 09:35    -