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

	Name	Last modified	Size	Description
	Parent Directory		-
	ui.jqgrid.css	2018-09-07 15:30	12K
	jquery.jqGrid.js	2018-09-07 15:30	253K
	grid.locale-en.js	2018-09-07 15:30	6.2K