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\onGetUserPermissionsErrorsExpensive
onGetUserPermissionsErrorsExpensive( $title, $user, $action, &$result)
This hook is equal to getUserPermissionsErrors, but it is called only if expensive checks are enabled...