Manual:PermissionManager.php

MediaWiki file: PermissionManager.php
Location:	includes/Permissions/
Source code:	master • 1.43.1 • 1.42.6 • 1.39.12
Classes:	MediaWiki\Permissions\PermissionManager