Manual:PermissionManager.php

MediaWiki file: PermissionManager.php
Location:	includes/Permissions/
Source code:	master • 1.41.1 • 1.40.3 • 1.39.7
Classes:	MediaWiki\Permissions\PermissionManager