UserGetRightsHook.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Permissions\Hook;
 
use MediaWiki\User\User;
 
interface UserGetRightsHook {
    public function onUserGetRights( $user, &$rights );
}