MediaWiki REL1_39
GetUserPermissionsErrorsExpensiveHook.php
Go to the documentation of this file.
1<?php
2
4
6use Title;
7use User;
8
36 public function onGetUserPermissionsErrorsExpensive( $title, $user, $action,
37 &$result
38 );
39}
Represents a title within MediaWiki.
Definition Title.php:49
internal since 1.36
Definition User.php:70
onGetUserPermissionsErrorsExpensive( $title, $user, $action, &$result)
This hook is equal to getUserPermissionsErrors, but it is called only if expensive checks are enabled...