MediaWiki
master
GetUserPermissionsErrorsExpensiveHook.php
Go to the documentation of this file.
1
<?php
2
3
namespace
MediaWiki\Permissions\Hook
;
4
5
use
MediaWiki\Title\Title
;
6
use
MessageSpecifier
;
7
use
User
;
8
16
interface
GetUserPermissionsErrorsExpensiveHook
{
36
public
function
onGetUserPermissionsErrorsExpensive
(
$title
, $user, $action,
37
&$result
38
);
39
}
MediaWiki\Title\Title
Represents a title within MediaWiki.
Definition:
Title.php:82
User
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition:
User.php:71
MediaWiki\Permissions\Hook\GetUserPermissionsErrorsExpensiveHook
This is a hook handler interface, see docs/Hooks.md.
Definition:
GetUserPermissionsErrorsExpensiveHook.php:16
MediaWiki\Permissions\Hook\GetUserPermissionsErrorsExpensiveHook\onGetUserPermissionsErrorsExpensive
onGetUserPermissionsErrorsExpensive( $title, $user, $action, &$result)
This hook is equal to getUserPermissionsErrors, but it is called only if expensive checks are enabled...
MessageSpecifier
Definition:
MessageSpecifier.php:24
MediaWiki\Permissions\Hook
Definition:
GetUserPermissionsErrorsExpensiveHook.php:3
$title
$title
Definition:
testCompression.php:39
includes
Permissions
Hook
GetUserPermissionsErrorsExpensiveHook.php
Generated on Thu Mar 30 2023 14:09:15 for MediaWiki by
1.9.1