Index of /extensions/SemanticResultFormats/formats/filtered/src/Filters

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      -1                      2025-09-10 05:17  3.6K  
      DistanceFilter.php      2024-12-19 04:11  3.8K  
      Filter.php              2024-12-19 04:11  3.5K  
      NumberFilter.php        2024-12-19 04:11  2.7K  
      ValueFilter.php         2024-12-19 04:11  1.0K