Index of /mediawiki/extensions/SemanticResultFormats_old/resources/widgets

	Name	Last modified	Size	Description
	Parent Directory		-
	ext.srf.widgets.optionslist.js	2018-09-07 15:30	3.6K
	ext.srf.widgets.panel.js	2018-09-07 15:30	2.0K
	ext.srf.widgets.parameters.js	2018-09-07 15:30	2.7K