Index of /mediawiki/extensions/SemanticResultFormats/formats/media

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 MediaPlayer.php         2016-01-13 16:47  7.8K  
 resources/              2016-01-13 16:48    -