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

      Name                    Last modified      Size  Description
Parent Directory - PermissionAware.php 2024-12-20 15:59 418 PermissionExaminer.php 2024-12-20 15:59 951 PermissionExaminerAw..> 2024-12-20 15:59 312 TitlePermissions.php 2024-12-20 15:59 5.4K