Index of /extensions/SemanticMediaWiki/src/MediaWiki/Permission

	Name	Last modified	Size	Description
	Parent Directory		-
	PermissionAware.php	2024-12-30 21:29	418
	PermissionExaminer.php	2024-12-30 21:29	951
	PermissionExaminerAw..>	2024-12-30 21:29	312
	TitlePermissions.php	2024-12-30 21:29	5.4K