Index of /extensions/SemanticMediaWiki/src/MediaWiki/Permission
Name
Last modified
Size
Description
Parent Directory
-
TitlePermissions.php
2024-05-04 13:19
5.4K
PermissionExaminerAw..>
2024-05-04 13:19
312
PermissionExaminer.php
2024-05-04 13:19
953
PermissionAware.php
2024-05-04 13:19
419