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

	Name	Last modified	Size	Description
	Parent Directory		-
	TitlePermissions.php	2021-03-29 22:40	5.4K
	PermissionExaminer.php	2021-03-29 22:40	953
	PermissionAware.php	2021-03-29 22:40	419
	PermissionExaminerAw..>	2021-03-29 22:40	312