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

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