MediaWiki REL1_37
GetUserPermissionsErrorsExpensiveHook.php
Go to the documentation of this file.
1<?php
2
3namespace MediaWiki\Permissions\Hook;
4
5use MessageSpecifier;
6use Title;
7use User;
8
16interface GetUserPermissionsErrorsExpensiveHook {
36 public function onGetUserPermissionsErrorsExpensive( $title, $user, $action,
37 &$result
38 );
39}
Title
Represents a title within MediaWiki.
Definition Title.php:48
User
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition User.php:69
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...