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

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