Index of /mediawiki/extensions/SemanticResultFormats_old/formats/Exhibit/exhibit/scripts/ui/widgets

	Name	Last modified	Size	Description
	Parent Directory		-
	collection-summary-widget.js	2018-09-07 15:30	4.5K
	legend-gradient-widget.js	2018-09-07 15:30	5.9K
	legend-widget.js	2018-09-07 15:30	4.5K
	logo.js	2018-09-07 15:30	1.4K
	option-widget.js	2018-09-07 15:30	2.7K
	resizable-div-widget.js	2018-09-07 15:30	1.9K
	toolbox-widget.js	2018-09-07 15:30	8.4K