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

	Name	Last modified	Size	Description
	Parent Directory		-
	CheckboxRangeGroupValueFilter.php	2025-07-24 20:42	6.9K
	CheckboxValueFilter.php	2025-07-24 20:42	5.0K
	ListValueFilter.php	2025-07-24 20:42	6.0K
	RangeValueFilter.php	2025-07-24 20:42	3.6K