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

 NameLast modifiedSizeDescription
 Parent Directory   -  
 PermissionAware.php 2023-07-29 20:01 419  
 PermissionExaminer.php 2023-07-29 20:01 953  
 PermissionExaminerAw..>2023-07-29 20:01 312  
 TitlePermissions.php 2023-07-29 20:01 5.4K