MediaWiki  master
GetUserPermissionsErrorsExpensiveHook.php
Go to the documentation of this file.
1 <?php
2 
4 
5 use Title;
6 use User;
7 
33  &$result
34  );
35 }
MediaWiki\Permissions\Hook\GetUserPermissionsErrorsExpensiveHook
Stable to implement.
Definition: GetUserPermissionsErrorsExpensiveHook.php:12
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:41
User
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition: User.php:56