Index of /extensions/SemanticMediaWiki/src/MediaWiki/Specials/FacetedSearch/Filters/ValueFilters

	Name	Last modified	Size	Description
	Parent Directory		-
	CheckboxRangeGroupValueFilter.php	2024-07-18 13:31	6.9K
	CheckboxValueFilter.php	2024-07-18 13:31	5.0K
	ListValueFilter.php	2024-07-18 13:31	6.0K
	RangeValueFilter.php	2024-07-18 13:31	3.6K