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

	Name	Last modified	Size	Description

	Parent Directory		-
	PreferenceAware.php	2020-12-05 10:20	388
	PreferenceExaminer.php	2020-12-05 10:20	688

Apache/2.4 Server at orte.banater-archiv.de Port 443