Index of /mediawiki/extensions/SemanticResultFormats_old/resources/jquery/multiselect

	Name	Last modified	Size	Description
	Parent Directory		-
	jquery.multiselect.css	2018-09-07 15:30	1.6K
	jquery.multiselect.filter.css	2018-09-07 15:30	326
	jquery.multiselect.filter.js	2018-09-07 15:30	5.2K
	jquery.multiselect.js	2018-09-07 15:30	22K