MediaWiki  master
GetUserPermissionsErrorsExpensiveHook.php
Go to the documentation of this file.
1 <?php
2 
4 
5 use Title;
6 use User;
7 
36  &$result
37  );
38 }
MediaWiki\Permissions\Hook\GetUserPermissionsErrorsExpensiveHook
This is a hook handler interface, see docs/Hooks.md.
Definition: GetUserPermissionsErrorsExpensiveHook.php:15
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:63