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

	Name	Last modified	Size	Description
	Parent Directory		-
	grid.locale-en.js	2022-01-26 12:52	6.2K
	jquery.jqGrid.js	2022-01-26 12:52	253K
	ui.jqgrid.css	2022-01-26 12:52	12K