1	<?php
2
3	namespace MediaWiki\Permissions\Hook;
4
5	use MediaWiki\User\User;
6
7	/**
8	* This is a hook handler interface, see docs/Hooks.md.
9	* Use the hook name "UserGetRightsRemove" to register handlers implementing this interface.
10	*
11	* @stable to implement
12	* @ingroup Hooks
13	*/
14	interface UserGetRightsRemoveHook {
15	/**
16	* This hook is called in PermissionManager::getUserPermissions(). This hook
17	* overrides the UserGetRights hook. It can be used to remove rights from a user
18	* and ensure that they will not be reinserted by the other hook callbacks.
19	* This hook should not be used to add any rights; use UserGetRights instead.
20	*
21	* @since 1.35
22	*
23	* @param User $user User to get rights for
24	* @param string[] &$rights Current rights
25	* @return bool|void True or no return value to continue or false to abort
26	*/
27	public function onUserGetRightsRemove( $user, &$rights );
28	}