Manual:PermissionManager.php

MediaWiki file: PermissionManager.php
Location:	includes/Permissions/
Source code:	master • 1.37.2 • 1.36.4 • 1.35.6
Classes:	MediaWiki\Permissions\PermissionManager