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

 NameLast modifiedSizeDescription
 Parent Directory   -  
 TitlePermissions.php 2021-03-29 22:40 5.4K 
 PermissionExaminerAw..>2021-03-29 22:40 312  
 PermissionExaminer.php 2021-03-29 22:40 953  
 PermissionAware.php 2021-03-29 22:40 419