MediaWiki  master
GetUserPermissionsErrorsExpensiveHook.php
Go to the documentation of this file.
1 <?php
2 
4 
6 use Title;
7 use User;
8 
37  &$result
38  );
39 }
MessageSpecifier
Definition: MessageSpecifier.php:24
MediaWiki\Permissions\Hook\GetUserPermissionsErrorsExpensiveHook
This is a hook handler interface, see docs/Hooks.md.
Definition: GetUserPermissionsErrorsExpensiveHook.php:16
MediaWiki\Permissions\Hook
Definition: GetUserPermissionsErrorsExpensiveHook.php:3
$title
$title
Definition: testCompression.php:38
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...
MediaWiki\$action
string $action
Cache what action this request is.
Definition: MediaWiki.php:45
Title
Represents a title within MediaWiki.
Definition: Title.php:46
User
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition: User.php:66