Index of /extensions/SemanticMediaWiki/src/MediaWiki/Preference

	Name	Last modified	Size	Description
	Parent Directory		-
	PreferenceAware.php	2024-12-30 21:29	387
	PreferenceExaminer.php	2024-12-30 21:29	1.0K