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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      DistanceFilter.php      2020-08-27 10:44  3.8K  
      Filter.php              2020-08-27 10:44  3.5K  
      NumberFilter.php        2020-08-27 10:44  2.7K  
      ValueFilter.php         2020-08-27 10:44  1.0K