Index of /mediawiki/extensions/SemanticMediaWiki/includes/src/MediaWiki/Search

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]SearchResultSet.php2015-03-02 18:07 1.9K 
[ ]Search.php2015-03-02 18:07 7.5K 
Apache/2.4.6 (Ubuntu) Server at devwikip.phytec.de Port 80