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

• Parent Directory
• PermissionAware.php
• PermissionExaminer.php
• PermissionExaminerAware.php
• TitlePermissions.php