MediaWiki  master
GetUserPermissionsErrorsExpensiveHook.php
Go to the documentation of this file.
1 <?php
2 
4 
7 use User;
8 
36  public function onGetUserPermissionsErrorsExpensive( $title, $user, $action,
37  &$result
38  );
39 }
Represents a title within MediaWiki.
Definition: Title.php:82
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition: User.php:71
onGetUserPermissionsErrorsExpensive( $title, $user, $action, &$result)
This hook is equal to getUserPermissionsErrors, but it is called only if expensive checks are enabled...