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

	Name	Last modified	Size	Description
	Parent Directory		-
	grid.locale-en.js	2020-08-27 13:44	6.2K
	jquery.jqGrid.js	2020-08-27 13:44	253K
	ui.jqgrid.css	2020-08-27 13:44	12K