GetUserPermissionsErrorsExpensiveHook.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Permissions\Hook;
 
use MessageSpecifier;
use Title;
use User;
 
interface GetUserPermissionsErrorsExpensiveHook {
    public function onGetUserPermissionsErrorsExpensive( $title, $user, $action,
        &$result
    );
}