Index of /mediawiki/extensions/SemanticResultFormats/resources/jquery/jqgrid

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 jquery.jqGrid.js        2016-01-13 16:48  253K  
 ui.jqgrid.css           2016-01-13 16:48   12K  
 grid.locale-en.js       2016-01-13 16:48  6.2K