MediaWiki  master
MarkPatrolledCompleteHook.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\Hook;
4 
5 use User;
6 
26  public function onMarkPatrolledComplete( $rcid, $user, $wcOnlySysopsCanPatrol,
27  $auto
28  );
29 }
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.
onMarkPatrolledComplete( $rcid, $user, $wcOnlySysopsCanPatrol, $auto)
This hook is called after an edit is marked patrolled.