MediaWiki REL1_37
UserGetRightsRemoveHook.php
Go to the documentation of this file.
1<?php
2
3namespace MediaWiki\Permissions\Hook;
4
5use User;
6
14interface UserGetRightsRemoveHook {
27 public function onUserGetRightsRemove( $user, &$rights );
28}
User
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition User.php:69
MediaWiki\Permissions\Hook\UserGetRightsRemoveHook
This is a hook handler interface, see docs/Hooks.md.
Definition UserGetRightsRemoveHook.php:14
MediaWiki\Permissions\Hook\UserGetRightsRemoveHook\onUserGetRightsRemove
onUserGetRightsRemove( $user, &$rights)
This hook is called in PermissionManager::getUserPermissions().