Manual:PermissionManager.php

MediaWiki file: PermissionManager.php
Location:	includes/Permissions/
Source code:	master • 1.39.1 • 1.38.5 • 1.35.9
Classes:	MediaWiki\Permissions\PermissionManager