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

 NameLast modifiedSizeDescription
 Parent Directory   -  
 DistanceFilter.php 2020-11-17 16:56 3.8K 
 Filter.php 2020-11-17 16:56 3.5K 
 NumberFilter.php 2020-11-17 16:56 2.7K 
 ValueFilter.php 2020-11-17 16:56 1.0K