Manual:PermissionManager.php

MediaWiki file: PermissionManager.php
Location:	includes/Permissions/
Source code:	master • 1.42.4 • 1.41.5 • 1.39.11
Classes:	MediaWiki\Permissions\PermissionManager