Index of /w/extensions/BlueSpiceExtendedSearch/src/MediaWiki/Backend

 NameLast modifiedSizeDescription
 Parent Directory   -  
 SearchResultSet.php 2018-12-03 10:25 730  
 SearchResult.php 2018-12-03 10:25 100  
 BlueSpiceSearch.php 2018-12-03 10:25 2.4K