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

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