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

      Name                    Last modified      Size  Description
Parent Directory - 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