MediaWiki REL1_35
GetUserPermissionsErrorsExpensiveHook.php
Go to the documentation of this file.
1<?php
2
3namespace MediaWiki\Permissions\Hook;
4
5use Title;
6use User;
7
12interface GetUserPermissionsErrorsExpensiveHook {
32 public function onGetUserPermissionsErrorsExpensive( $title, $user, $action,
33 &$result
34 );
35}
Title
Represents a title within MediaWiki.
Definition Title.php:42
User
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition User.php:60
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...