MediaWiki  master
MarkPatrolledHook.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\Hook;
4 
5 use User;
6 
14 interface MarkPatrolledHook {
28  public function onMarkPatrolled( $rcid, $user, $wcOnlySysopsCanPatrol, $auto,
29  &$tags
30  );
31 }
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition: User.php:70
This is a hook handler interface, see docs/Hooks.md.
onMarkPatrolled( $rcid, $user, $wcOnlySysopsCanPatrol, $auto, &$tags)
This hook is called before an edit is marked patrolled.