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

	Name	Last modified	Size	Description
	Parent Directory		-
	jquery.jqGrid.js	2020-07-16 17:37	253K
	ui.jqgrid.css	2020-07-16 17:37	12K
	grid.locale-en.js	2020-07-16 17:37	6.2K