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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      Filtered.php            2020-08-27 10:44   13K  
      Filters/                2020-08-27 10:44    -   
      Hooks.php               2020-08-27 10:44  584   
      ResultItem.php          2020-08-27 10:44  2.5K  
      View/                   2020-08-27 10:44    -